futex: fix formatting of val3 hexadecimal argument
futex: fix formatting of val3 hexadecimal argument

* futex.c (SYS_FUNC(futex)): In FUTEX_WAIT_BITSET and FUTEX_WAKE_BITSET,
print hexadecimal val3 argument in alternate form to avoid confusion.

cuviper/strace,cuviper/strace,cuviper/strace,cuviper/strace,cuviper/strace