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