give the reset procedure somewhat more time (openocd)