stop using '%pK' for /proc/kallsyms pointer values