target/ppc: Introduce an mmu_is_64bit() helper