[PATCH] ppc32: Correct an instruction in the boot code