Button added, which allowed us to remove the dependency on the
stm32f4xx_discovery.*