[PATCH] ppc32: Fix configuration of PCI IO space on MPC85xx platform