kernel/printk.c: document possible deadlock against scheduler