[ros-diffs] [ion] 23657: - Call KiDispatchInterrupt through an interrupt gate instead of directly.