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