# CONFIG_ARCH_BCM_5301X is not set