Fix kprintf()

Trivial fix