kernel: double fault trap, code=0
Stopped at      restore_saved+0x32:     xorq    0x30(%rsp),%r11