Re: [OpenBIOS] [PATCH] PowerPC: Fix PCI I/O ports allocation