Re: [SeaBIOS] [PATCH 2/6] pci: init all devices