Use uintptr_t instead of unsigned long for integers holding pointers.

Reviewed by: imp, gallatin
Obtained from: CheriBSD
Sponsored by: DARPA
Differential Revision: https://reviews.freebsd.org/D27580