Re: [PATCH v7 0/2] MR5047: server, ntdll: Use 64 bit for unix thread id.

[Marc-Aurel Zent (＠mzent)]

Rebased. If there are any issues with the added `dump_int64()`, I can also remove/adjust it.