ChibiOS/RT boarf files for Embest DM-STF4BB board, also known as STM32F4DIS-BB