[ros-diffs] [hyperion] 15927: No reason KiDoubleFaultHandler should return a value - in fact it doesn't return at all