[PATCH] disable CONFIG_SERIAL_8250_DETECT_IRQ