config/target: enforce floating point support

Do not prompt for the type of floating-point support, if the
architecture did not explicitly stated that it did support it.

Reported-by: Morten Thunberg Svendsen <mts@doredevelopment.dk>
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>

reporter_name="Thomas Petazzoni"

reporter_url="http://www.free-electrons.com/"

reporter_comment="Very basic testing only"