[ros-diffs] [sir_richard] 49521: [NTOS]: KiDispatchInterrupt (the DPC handler) in C, instead of ASM.