[PATCH] ppc32: Fix pte_update for 64-bit PTEs