I don't know how to configure the config options of debug,using openocd debug. And I can't find nrf52.cfg file in system workbench, it seems that a interface file is also needed.So,how I should configure this ?In other words,"-f" and "-s" how to choo...