# CONFIG_ARCH_BCM_63XX is not set