tcl: board: mini2440: fix to work with the current version
[fw/openocd] / tcl / cpu /
drwxr-xr-x   ..
drwxr-xr-x - arc
drwxr-xr-x - arm