Да, моя проблема решается так, надо взять порт для GCC. Попутно
выяснилась еще пара мелких деталей. Порт для GCC так же содержит проверку на наличие FPU, так же через predefined macro но другое __VFP_FP__ Но, если ваш процессор -mcpu=cortex-m4 то эта проверка будет проходить успешно даже если принудительно отключить использование FPU, т.е. -mfpu=none -mfloat-abi=soft Правда дальше будут ошибки компиляции инлайнового ассемблера на инструкциях с FPU
Если FPU не нужно, не смотря на то что оно фактически есть, тогда надо использовать порт для CM3 хотя -mcpu=cortex-m4