Fix a warning that has been annoying me for some time:
"kern/sys_generic.c:358: warning: cast discards qualifiers from pointer

target type"

The idea for using the uintptr_t intermediate cast for de-constifying
a pointer was hinted at by bde some time ago.