tcl: board: add AM437x IDK support