BUG_ON() Conversion in kernel/cpu.c