INDUSTRIALCOMPLEX.DE: die_if_kernel("Oops", regs, error_code);