BUG_ON() Conversion in kernel/printk.c