[PATCH v2 4/5] ntdll: Add sys_membarrier-based fast path to NtFlushProcessWriteBuffers.