Add some more printf kernel calls, so they're used by the kernel code
rather than the libc code.

This is required for ether_sprintf(), as this uses %xD which is a
FreeBSD extension.