Fix ARM default floating-point ABI.

It shouldn't really matter, as we probably aren't going to
support anything but AAPCS anytime soon.