diff --git a/src/mainboard/pcengines/alix1c/Kconfig b/src/mainboard/pcengines/alix1c/Kconfig
index 75b3d07b6d..94a601b0a8 100644
--- a/src/mainboard/pcengines/alix1c/Kconfig
+++ b/src/mainboard/pcengines/alix1c/Kconfig
@@ -14,6 +14,7 @@ config BOARD_SPECIFIC_OPTIONS # dummy
 	select HAVE_OPTION_TABLE
 	select HAVE_CMOS_DEFAULT
 	select NO_EARLY_SMBUS
+	select SEABIOS_ADD_SERCON_PORT_FILE if PAYLOAD_SEABIOS
 
 config MAINBOARD_DIR
 	string
diff --git a/src/mainboard/pcengines/alix2d/Kconfig b/src/mainboard/pcengines/alix2d/Kconfig
index 95a68aa1e7..ca8a36a335 100644
--- a/src/mainboard/pcengines/alix2d/Kconfig
+++ b/src/mainboard/pcengines/alix2d/Kconfig
@@ -11,6 +11,7 @@ config BOARD_SPECIFIC_OPTIONS # dummy
 	select BOARD_ROMSIZE_KB_512
 	select POWER_BUTTON_FORCE_DISABLE
 	select NO_EARLY_SMBUS
+	select SEABIOS_ADD_SERCON_PORT_FILE if PAYLOAD_SEABIOS
 
 config MAINBOARD_DIR
 	string
diff --git a/src/mainboard/pcengines/apu1/Kconfig b/src/mainboard/pcengines/apu1/Kconfig
index 6c98d01147..f0cc4793e8 100644
--- a/src/mainboard/pcengines/apu1/Kconfig
+++ b/src/mainboard/pcengines/apu1/Kconfig
@@ -30,6 +30,7 @@ config BOARD_SPECIFIC_OPTIONS # dummy
 	select HAVE_CMOS_DEFAULT
 	select BOARD_ROMSIZE_KB_2048
 	select GENERIC_SPD_BIN
+	select SEABIOS_ADD_SERCON_PORT_FILE if PAYLOAD_SEABIOS
 
 config MAINBOARD_DIR
 	string
diff --git a/src/mainboard/pcengines/apu2/Kconfig b/src/mainboard/pcengines/apu2/Kconfig
index af14066d10..c5a03d131c 100644
--- a/src/mainboard/pcengines/apu2/Kconfig
+++ b/src/mainboard/pcengines/apu2/Kconfig
@@ -33,6 +33,7 @@ config BOARD_SPECIFIC_OPTIONS # dummy
 	select GENERIC_SPD_BIN
 	select MAINBOARD_HAS_LPC_TPM
 	select MAINBOARD_HAS_TPM1
+	select SEABIOS_ADD_SERCON_PORT_FILE if PAYLOAD_SEABIOS
 
 config MAINBOARD_DIR
 	string