enable hard-float "build"

TODO: how to make soft-float work too?