openocd/tcl/target/marvell/88f3720.cfg