locks: Use %p to print uintptr_t values

[jhb]

Summary

Pointers are not the same shape as sizes on CHERI architectures. Cast
to void * and print with %p instead.

Obtained from: CheriBSD

[jrtc27]

(Alternatively, one could use the ugly PRIxPTR macro in place of the zx)