kernel: Correct function names in comments.
kernel/vinum: Use %jx in a number of places instead of %llx.