[ros-diffs] [dgorbachev] 43299: Fix internal name of ntkrnlmp.exe. Alexander Yastrebov (menone7 ~at~ gmail com), bug #4821.