switch (vector) {
        case VEC_ZERODIV:
+               die_if_kernel("Kernel mode ZERO DIV", regs, vector);
                sig = SIGFPE;
                break;
        /* ptrace */
                sig = SIGTRAP;
                break;
        case VEC_ILLEGAL:
+               die_if_kernel("Kernel mode ILLEGAL", regs, vector);
 #ifndef CONFIG_CPU_NO_USER_BKPT
                if (*(uint16_t *)instruction_pointer(regs) != USR_BKPT)
 #endif
        case VEC_TRAP1:
        /* jtagserver breakpoint */
        case VEC_BREAKPOINT:
+               die_if_kernel("Kernel mode BKPT", regs, vector);
                info.si_code = TRAP_BRKPT;
                sig = SIGTRAP;
                break;
 #endif
 #ifdef CONFIG_CPU_HAS_FPU
        case VEC_FPE:
+               die_if_kernel("Kernel mode FPE", regs, vector);
                return fpu_fpe(regs);
        case VEC_PRIV:
+               die_if_kernel("Kernel mode PRIV", regs, vector);
                if (fpu_libc_helper(regs))
                        return;
 #endif