[ros-diffs] [ion] 16040: Use generic HAL header