namespacecheck: more kernel/printk.c fixes