board - stm32f4dis: adjusted Makefile