[PATCH v13 3/4] ntdll: Add thread_get_register_pointer_values-based implementation of NtFlushProcessWriteBuffers.