Re: [PATCH 3.16 226/328] x86/mm: Use WRITE_ONCE() when setting PTEs