# CONFIG_SERIAL_8250_SHARE_IRQ is not set
