Add gpio event tracing in test-board-synchro

scripts/test-board-synchro

@@ -102,7 +102,7 @@ echo "Start servers on slave";
 ./sudossh $board2 "killall server";
 
 if [ -n "$enable_tracing" ]; then
-  server_opts+=" -T $((interval*2)) -B 100000"
+  server_opts+=" -T $((interval*2)) -E \"-e irq -e sched -e net -e napi -e gpio\" -B 100000"
 fi
 
 ./exec-ssh-nohup $board1 "run-server -c $server_opts";