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