# CONFIG_SERIAL_8250_BOCA is not set
