x86/mm/32: Add support for 64-bit __get_user() on 32-bit kernels