Global: Allow changing the floating-point ABI

This is useful for cases where the toolchain does not have hard-float
libraries, and is a much better solution than manually editing makefiles.

Signed-off-by: Alexandru Gagniuc <mr.nuke.me@gmail.com>