Added 12MHz resonator support for f4; Krooz STM32F4 bootloader example added

I've changed however the float support to soft float, so it would be compatible with the current Paparazzi ppa version.