[Linux-stable-mirror] [PATCH 4.9 013/138] arm64: Implement arch-specific pte_access_permitted()