[ros-diffs] [sserapion] 46829: Remove mini_hal from build.