Fix CONFIG_WIMAX_CMC