tcl/target/stm32l4x: switch to new TPIU/SWO support