[PATCH 4.15 085/105] x86/vsyscall/64: Use proper accessor to update P4D entry