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