riscv-openocd/tcl/board/atmel_sam4s_ek.cfg