kernel/kexec.c: convert printk to pr_foo()