[ros-diffs] [jgardou] 49391: [CMAKE] - improve ntoskrnl/CMakeLists.txt