[PATCH] powerpc: Make ppc_md.set_dabr non 64-bit specific