# CONFIG_BCM_WIMAX is not set
