Fix a typo in the ARM w/ softfp CI configuration.