Re: [SeaBIOS] [PATCH v3 4/6] pci: init boot devices only on address space shortage