[OpenBIOS] [PATCH 1/2] PPC: Fix PCI configuration space address access