ARM: fix float_dsp breakage from d5a7229