[SeaBIOS] Re: [PATCH 4/4] serialio: Support for pci serial ports