futex: move user address verification up to common code