MFC r284159:
Futex is an aligned 32-bit integer. Use the proper instruction and operand when dereferencing futex pointer.