Merge "Updated openocd script to handle new barebox format."