arm64: enable a distinct type for HW PTEs

前置转换完成后，arm64 选择 ARCH_HAS_HW_PTE_T，改用通用 hw_pte_t wrapper 而非 pte_t 别名，使硬件 PTE 与软件 PTE 值成为不同 C 类型，获得编译期类型检查。