# CONFIG_SERIAL_BCM63XX is not set