namespacecheck: fix kernel printk.c