kernel/include/config/SERIAL_8250_PCI