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