[ros-diffs] [tkreuzer] 44937: [KE] Improve KiDoubleFaultAbort