[PATCH 4.14 080/101] x86/vsyscall/64: Use proper accessor to update P4D entry