[PATCH 4.4 197/266] x86/mm: Use WRITE_ONCE() when setting PTEs