[ros-diffs] [sginsberg] 69210: [KDBG] Don't bring down the kernel either when int2c-ing from user mode