Introduce CONFIG_NOSOFTFLOAT and simplify Makefile.target