arm64 区分 HW/SW PTE 指针

arm64 启用 ARCH_HAS_HW_PTE_T，把硬件 PTE 指针改为 hw_pte_t *，与表示软件 PTE 值的 pte_t * 在类型上区分。