tcl/board: Add Infineon XMC4200 Application Kit config