TK1 Development Kit circuit board overvoltage damaged by TX2 power supply (19 VDC vs 12 VDC)

Looks like some components damaged, you might need RMA process.