[PATCH v3] ntdll: Use 32-bit time_t when calling __NR_futex syscall.