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