tcl/board: Add Infineon XMC4500 Application Kit configs