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