The casting was done incorrectly for 32-bit builds. Fixed to use uintptr_t.
Reported-by: NEric Adams <adamse@google.com>
Signed-off-by: NKees Cook <keescook@chromium.org>
Signed-off-by: NShuah Khan <shuahkh@osg.samsung.com>