[ros-dev] Use kernel types in include files?