openocd/tcl/target/lpc84x.cfg