openocd/tcl/target/lpc12xx.cfg