# CONFIG_WIMAX is not set