ref: https://bugs.launchpad.net/gcc-arm-embedded/+bug/1747966
files otherwise. Update STM32F4-DISCOVERY demo and board.mk to reflect changes.