[PATCH v3 4/6] ntdll: Add thread_get_register_pointer_values-based implementation of NtFlushProcessWriteBuffers.