powerpc/fsl-booke: Use HW PTE format if CONFIG_PTE_64BIT