updated post w/ openocd instructions