add note about openocd and linux running