# CONFIG_SERIAL_8250_DETECT_IRQ is not set