Re: [OpenBIOS] [PATCH 2/2] PPC: fix PReP PCI bus enumeration