diff --git a/tests/gadget-zero/openocd.stm32f3-disco.cfg b/tests/gadget-zero/openocd.stm32f3-disco.cfg
index 835d4669..8c0361ac 100644
--- a/tests/gadget-zero/openocd.stm32f3-disco.cfg
+++ b/tests/gadget-zero/openocd.stm32f3-disco.cfg
@@ -2,8 +2,9 @@ source [find interface/stlink-v2.cfg]
 set WORKAREASIZE 0x4000
 source [find target/stm32f3x.cfg]
 
-# serial of my f3 disco board.
-hla_serial "S?n\x06gePQ6G%g"
+# Include a local serial config file if available
+source openocd.common.cfg
+optional_local "openocd.stm32f3-disco.local.cfg"
 
 tpiu config internal swodump.stm32f3-disco.log uart off 72000000