platform/stm32-e407/Makefile.stm32-e407: remove FPU work-around attempts

We now solve all this by properly setting ARCH_FLAGS in Makefile.stm32-ocm3