amd64: fix get_user() on bitwise