Re: [PATCH] arm64: Define PTE_TYPE_HUGEPAGE