[PATCH 4.14 4/4] x86/mm: Use WRITE_ONCE() when setting PTEs