tcl: board: mini2440: fix to work with the current version