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