add the stm32f4xx library.