kern_synch: Fix some UB

It is UB to evaluate pointer comparisons when pointers do not point within
the same object. Instead, convert the pointers to numbers and compare the
numbers.

Reported by: kib
Discussed with: rlibby