kernel-hacking: move DEBUG_BUGVERBOSE to 'printk and dmesg options'