Generated binaries are soft-float, how to make hard-float?

I've noticed the generated `libc.so` and others are actually soft-float:

```
readelf -h libc.so
ELF Header:
...
  Flags:                             0x5000200, Version5 EABI, soft-float ABI
```

Soft-float ARM binaries nowadays are strange thing to have on modern cell phones. How could we switch to hard-float? I do not see any switch for this myself.