arm32: fix floating point abi configuration