scripts openocd: de0_nano and de2_115