[SeaBIOS] [PATCH 1/6] Use standard formatting for PCI info during PCI init pass.