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