Re: [SeaBIOS] [PATCH] pci: panic when out of bus numbers