tcl: add STM32F429I-DISC1 board config