[ros-diffs] [reactos] 01/03: [NTOS:KE/X64] Fix KiInterruptDispatch