Re: [OpenBIOS] [PATCH 06/10] pci: bus scan amendment