[ros-diffs] [tkreuzer] 53677: Fix build (oh how I hate this mini_hal thing)