faf478
disable CONFIG_SERIAL_8250_DETECT_IRQ (from mschmidt@redhat.com) Should reduce boot times by ~200ms.