[PATCH 3.16 49/83] ptrace,x86: Make user_64bit_mode() available to 32-bit builds