OpenOCD for ARMinARM board