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