zephyr/boards/arm/stm32f4_disco/board.cmake