[ros-diffs] [sir_richard] 45368: [ARM]: Fix the ARM build, hopefully without breaking the x86 build in the process. Sorry buds!