tcl at91samdXX.cfg: partially revert change 3722