arm64: use hw_pte_t for HW PTE pointers

arm64 把 HW PTE 指针由 pte_t * 改为 hw_pte_t *，SW PTE 值仍用 pte_t；PMD/PUD 共用函数暂加显式转换，pi.h 包含 pgtable_types.h 使 hw_pte_t 可见。