rework futex support

Signed-off-by: Davidlohr Bueso <dbueso@suse.de>