TI-TPS54239EDDA(R) & TI-TPS62140RGTx added to device file