[SeaBIOS] [PATCH V2] pci: fixes to allow booting from extra root pci buses.