StdPherLib of STM32F4 is implemented, and some plus functionalities are
added. But it doesn't work yet because only a part of IRQ habdlers are
routed.