Kconfig: add CONFIG_ARCHITECTURE_HAVE_FPV5_D16 hidden option
Kconfig: add CONFIG_ARCHITECTURE_HAVE_FPV5_D16 hidden option
DISTORTEC/distortos,CezaryGapinski/distortos,jasmin-j/distortos,CezaryGapinski/distortos,jasmin-j/distortos,DISTORTEC/distortos,DISTORTEC/distortos,jasmin-j/distortos,jasmin-j/distortos,CezaryGapinski/distortos,DISTORTEC/distortos,jasmin-j/distortos,CezaryGapinski/distortos,CezaryGapinski/distortos