Re: [PATCH 2/3] kernel.h: add u64_to_user_ptr()