am 1724e02f: Merge "Fix ARM hardfloat detection in linux"

* commit '1724e02fae2f5a2de04e994567a8c74cd31068ef':
  Fix ARM hardfloat detection in linux