openocd: arm semihosting enable; reset run

semihost.c

void __attribute__ ((noinline)) print_semihosting(const void *buf, uint32_t size)
{
    uint32_t args[3];
    args[0] = 1;
    args[1] = (uint32_t)buf;
    args[2] = size;
    asm(  "mov r0, #5\n"
          "mov r1, %0\n"
          "bkpt 0x00AB" : : "r"(args) : "r0", "r1", "memory");
}