Re: [PATCH v7 01/26] ptrace, x86: Make user_64bit_mode() available to 32-bit builds