Fix -Wvoid-pointer-to-int-cast warnings

user_addr_t is 32-bit, and void* is 64-bit inside the kernel of arm64u32 build.
Newer versions of clang will complain about casting void* to a smaller
interger type. So, cast to uintptr_t first.

Bug: None
Change-Id: I2a1ea47c033ab4890a7aea45fb2390880423785d
2 files changed