Instead of using the startup_stm32f40xx.s, I use the startup_stm32f4xx.s to support the makefile.