[ros-diffs] [tkreuzer] 48829: [CMAKE] Fix ntoskrnl compilation that broke after the changes to the configuration options