[ros-dev] Moving ntoskrnl configuration defines into ntoskrnl/include/config.h ?