Support for STM32F4 Discovery

This still needs some review and checks, but should be ready for prime-time.