[OpenBIOS] [PATCH v3 1/2] ppc: Adjust isa_io_base for ppc64