1.0.5.16: Follow the change of linux-os.c:futex_wait().