Update openocd config for f4_helloworld to not have SWO trace by default