openocd/tcl/board/bluefield.cfg