tcl/board: Add Infineon XMC 2Go config