Correct command line option to select ARM float-abi=hard