diff --git a/models/galp3-c/coreboot.config b/models/galp3-c/coreboot.config
index 48e174f..b14107d 100644
--- a/models/galp3-c/coreboot.config
+++ b/models/galp3-c/coreboot.config
@@ -144,6 +144,8 @@ CONFIG_HEAP_SIZE=0x8000
 # CONFIG_BOARD_SYSTEM76_GAZE14_1650_17 is not set
 # CONFIG_BOARD_SYSTEM76_GAZE14_1660TI_15 is not set
 # CONFIG_BOARD_SYSTEM76_GAZE14_1660TI_17 is not set
+# CONFIG_BOARD_SYSTEM76_GALP4 is not set
+# CONFIG_BOARD_SYSTEM76_DARP6 is not set
 # CONFIG_BOARD_SYSTEM76_GALP2 is not set
 # CONFIG_BOARD_SYSTEM76_GALP3 is not set
 # CONFIG_BOARD_SYSTEM76_GALP3_B is not set
@@ -306,7 +308,7 @@ CONFIG_SA_PCIEX_LENGTH=0x10000000
 # CONFIG_SA_ENABLE_DPR is not set
 CONFIG_SOC_INTEL_COMMON_BLOCK_THERMAL=y
 CONFIG_SOC_INTEL_COMMON_BLOCK_TIMER=y
-# CONFIG_USE_LEGACY_8254_TIMER is not set
+CONFIG_USE_LEGACY_8254_TIMER=y
 CONFIG_SOC_INTEL_COMMON_BLOCK_UART=y
 CONFIG_SOC_INTEL_COMMON_BLOCK_XDCI=y
 CONFIG_SOC_INTEL_COMMON_BLOCK_XHCI=y