[ros-diffs] [hpoussin] 30223: Fix some compilation errors in ntkrnlmp (code has not been tested, so it is probably wrong)