[PATCH 1/1] server, ntdll: Use 64 bit for unix thread id.