diff --git a/models/galp4/coreboot.config b/models/galp4/coreboot.config
index 636ff71..80eb177 100644
--- a/models/galp4/coreboot.config
+++ b/models/galp4/coreboot.config
@@ -49,6 +49,7 @@ CONFIG_TSEG_STAGE_CACHE=y
 # CONFIG_VENDOR_BIOSTAR is not set
 # CONFIG_VENDOR_CAVIUM is not set
 # CONFIG_VENDOR_COMPULAB is not set
+# CONFIG_VENDOR_DELL is not set
 # CONFIG_VENDOR_ELMEX is not set
 # CONFIG_VENDOR_EMULATION is not set
 # CONFIG_VENDOR_FACEBOOK is not set
@@ -124,6 +125,9 @@ CONFIG_IFD_BIN_PATH="$(FIRMWARE_OPEN_MODEL_DIR)/fd.rom"
 CONFIG_ME_BIN_PATH="$(FIRMWARE_OPEN_MODEL_DIR)/me.rom"
 # CONFIG_CONSOLE_SERIAL is not set
 CONFIG_TPM_PIRQ=0x0
+CONFIG_PCIEXP_HOTPLUG_BUSES=32
+CONFIG_PCIEXP_HOTPLUG_MEM=0x2000000
+CONFIG_PCIEXP_HOTPLUG_PREFETCH_MEM=0x20000000
 CONFIG_MAINBOARD_SMBIOS_PRODUCT_NAME="Galago Pro"
 CONFIG_HAVE_IFD_BIN=y
 CONFIG_ADD_FSP_BINARIES=y
@@ -196,6 +200,7 @@ CONFIG_SYSTEM_TYPE_LAPTOP=y
 #
 CONFIG_CPU_SPECIFIC_OPTIONS=y
 CONFIG_CPU_ADDR_BITS=36
+CONFIG_VERSTAGE_ADDR=0x2000000
 CONFIG_CONSOLE_UART_BASE_ADDRESS=0xfe032000
 CONFIG_SMM_TSEG_SIZE=0x800000
 CONFIG_SMM_RESERVED_SIZE=0x200000
@@ -213,7 +218,6 @@ CONFIG_PCR_BASE_ADDRESS=0xfd000000
 CONFIG_SOC_INTEL_COMMON_BLOCK_GSPI_CLOCK_MHZ=120
 CONFIG_X86_TOP4G_BOOTMEDIA_MAP=y
 CONFIG_ROMSTAGE_ADDR=0x2000000
-CONFIG_VERSTAGE_ADDR=0x2000000
 CONFIG_FSP_HEADER_PATH="3rdparty/fsp/CometLakeFspBinPkg/CometLake1/Include/"
 CONFIG_FSP_FD_PATH="3rdparty/fsp/CometLakeFspBinPkg/CometLake1/FSP.fd"
 # CONFIG_NHLT_DMIC_1CH_16B is not set
@@ -272,6 +276,7 @@ CONFIG_SOC_INTEL_COMMON_BLOCK_GPIO_ITSS_POL_CFG=y
 # CONFIG_SOC_INTEL_COMMON_BLOCK_GPIO_MULTI_ACPI_DEVICES is not set
 CONFIG_SOC_INTEL_COMMON_BLOCK_GPIO_DUAL_ROUTE_SUPPORT=y
 CONFIG_SOC_INTEL_COMMON_BLOCK_GRAPHICS=y
+CONFIG_SOC_INTEL_CONFIGURE_DDI_A_4_LANES=y
 CONFIG_SOC_INTEL_COMMON_BLOCK_GSPI=y
 CONFIG_SOC_INTEL_COMMON_BLOCK_GSPI_VERSION_2=y
 CONFIG_SOC_INTEL_COMMON_BLOCK_HDA=y
@@ -286,6 +291,7 @@ CONFIG_SOC_INTEL_COMMON_BLOCK_PCR=y
 CONFIG_SOC_INTEL_COMMON_BLOCK_PMC=y
 # CONFIG_PMC_INVALID_READ_AFTER_WRITE is not set
 CONFIG_PMC_GLOBAL_RESET_ENABLE_LOCK=y
+CONFIG_SOC_INTEL_COMMON_BLOCK_POWER_LIMIT=y
 CONFIG_SOC_INTEL_COMMON_BLOCK_RTC=y
 CONFIG_SOC_INTEL_COMMON_BLOCK_SATA=y
 CONFIG_SOC_AHCI_PORT_IMPLEMENTED_INVERT=y
@@ -535,15 +541,16 @@ CONFIG_CARDBUS_PLUGIN_SUPPORT=y
 # CONFIG_AZALIA_PLUGIN_SUPPORT is not set
 CONFIG_PCIEXP_PLUGIN_SUPPORT=y
 CONFIG_PCIEXP_HOTPLUG=y
-CONFIG_PCIEXP_HOTPLUG_BUSES=32
-CONFIG_PCIEXP_HOTPLUG_MEM=0x2000000
-CONFIG_PCIEXP_HOTPLUG_PREFETCH_MEM=0x20000000
+CONFIG_PCIEXP_HOTPLUG_PREFETCH_MEM_ABOVE_4G=y
+# CONFIG_PCIEXP_HOTPLUG_PREFETCH_MEM_BELOW_4G is not set
 CONFIG_PCIEXP_HOTPLUG_IO=0x2000
 # CONFIG_EARLY_PCI_BRIDGE is not set
 # CONFIG_CHECK_REV_IN_OPROM_NAME is not set
 CONFIG_INTEL_GMA_HAVE_VBT=y
 CONFIG_INTEL_GMA_ADD_VBT=y
 # CONFIG_SOFTWARE_I2C is not set
+# CONFIG_RESOURCE_ALLOCATOR_V3 is not set
+CONFIG_RESOURCE_ALLOCATOR_V4=y
 
 #
 # Generic Drivers
@@ -596,7 +603,10 @@ CONFIG_DRIVERS_GENERIC_WIFI=y
 # CONFIG_DRIVERS_GFX_GENERIC is not set
 CONFIG_DRIVERS_I2C_DESIGNWARE=y
 # CONFIG_DRIVERS_I2C_DESIGNWARE_DEBUG is not set
+CONFIG_DRIVERS_I2C_GENERIC=y
+CONFIG_DRIVERS_I2C_HID=y
 # CONFIG_DRIVERS_I2C_MAX98373 is not set
+# CONFIG_DRIVERS_I2C_MAX98390 is not set
 # CONFIG_DRIVERS_I2C_MAX98927 is not set
 # CONFIG_DRIVERS_I2C_PCA9538 is not set
 # CONFIG_DRIVERS_I2C_PCF8523 is not set
@@ -633,6 +643,7 @@ CONFIG_INTEL_GMA_BCLM_WIDTH=16
 # CONFIG_DRIVER_INTEL_I210 is not set
 # CONFIG_DRIVERS_INTEL_ISH is not set
 # CONFIG_DRIVERS_INTEL_MIPI_CAMERA is not set
+# CONFIG_DRIVERS_INTEL_PMC is not set
 # CONFIG_HAVE_INTEL_PTT is not set
 # CONFIG_DRIVERS_LENOVO_HYBRID_GRAPHICS is not set
 # CONFIG_DRIVER_MAXIM_MAX77686 is not set