[PATCH v3 6/8] arm64: Introduce direct_map_is_ptemap()