Re: [OpenBIOS] [PATCH 00/10] encode-int related changes and pci bus scan amendment