tcl/target: stm32[fl]4x: document the settings for trace