[ros-dev] Public ddk headers vs ntoskrnl