Add the STM32 source which successfully boots the STM32F4Discovery board.

Signed-off-by: Stephen Carlson <carlson8@purdue.edu>