GCC 3.3 complains that r2 overlaps input operands when a u64 pointer
is passed into __put_user().  Fix this by using ip as a temporary
register instead.