buildroot/board/stmicroelectronics/stm32f746-disco/extlinux.conf