- use printk() to report exceptions, instead of using kprintf()
This allows to track kernel messages via klogd, instead of bypassing it and
print messages directly to console by kprintf(). This also allows to properly
send messages to serial console, when kernel debugging to serial console is
enabled.