configs: run savedefconfig on Dasharo EDK boards

iPXE configuration of the boards were broken after a rebase, so this also involved setting CONFIG_BUILD_IPXE=y which now enables build. Change-Id: Ib2af25f7259c31f2e89dc10f473331733c255796 Signed-off-by: Sergii Dmytruk <[email protected]>
Dasharo · Jun 29, 2024 · 0b4ea65 · 0b4ea65
1 parent 4c98369
commit 0b4ea65
Show file tree

Hide file tree

Showing 16 changed files with 95 additions and 100 deletions.
diff --git a/configs/config.msi_ms7d25_ddr4 b/configs/config.msi_ms7d25_ddr4
@@ -7,26 +7,26 @@ CONFIG_IFD_BIN_PATH="3rdparty/dasharo-blobs/$(MAINBOARDDIR)/descriptor.bin"
 CONFIG_ME_BIN_PATH="3rdparty/dasharo-blobs/$(MAINBOARDDIR)/me.bin"
 CONFIG_CONSOLE_CBMEM_BUFFER_SIZE=0x100000
 CONFIG_EDK2_BOOT_TIMEOUT=3
+CONFIG_PCIEXP_DEFAULT_MAX_RESIZABLE_BAR_BITS=37
 CONFIG_HAVE_IFD_BIN=y
 CONFIG_BOARD_MSI_Z690_A_PRO_WIFI_DDR4=y
 # CONFIG_PCIEXP_ASPM is not set
 # CONFIG_PCIEXP_L1_SUB_STATE is not set
 # CONFIG_PCIEXP_CLK_PM is not set
 CONFIG_EDK2_BOOTSPLASH_FILE="3rdparty/dasharo-blobs/dasharo/bootsplash.bmp"
+CONFIG_TPM_MEASURED_BOOT=y
 CONFIG_POWER_STATE_OFF_AFTER_FAILURE=y
 CONFIG_INCLUDE_HSPHY_IN_FMAP=y
 CONFIG_SOC_INTEL_COMMON_OC_WDT_ENABLE=y
 CONFIG_ENABLE_EARLY_DMA_PROTECTION=y
 CONFIG_HAVE_ME_BIN=y
 CONFIG_DASHARO_PREFER_S3_SLEEP=y
 CONFIG_PCIEXP_SUPPORT_RESIZABLE_BARS=y
-CONFIG_PCIEXP_DEFAULT_MAX_RESIZABLE_BAR_BITS=37
 CONFIG_PCIEXP_LANE_ERR_STAT_CLEAR=y
 CONFIG_DRIVERS_EFI_VARIABLE_STORE=y
 CONFIG_DRIVERS_EFI_FW_INFO=y
 CONFIG_DRIVERS_EFI_UPDATE_CAPSULES=y
 CONFIG_TPM2=y
-CONFIG_TPM_MEASURED_BOOT=y
 CONFIG_BOOTMEDIA_LOCK_CONTROLLER=y
 CONFIG_BOOTMEDIA_LOCK_WPRO_VBOOT_RO=y
 CONFIG_BOOTMEDIA_LOCK_IN_VERSTAGE=y
@@ -43,8 +43,12 @@ CONFIG_EDK2_PLATFORMS_TAG_OR_REV="3323ed481d35096fb6a7eae7b49f35eff00f86cf"
 CONFIG_EDK2_CBMEM_LOGGING=y
 CONFIG_EDK2_FOLLOW_BGRT_SPEC=y
 CONFIG_EDK2_SERIAL_SUPPORT=y
+CONFIG_EDK2_CUSTOM_BUILD_PARAMS=""
+CONFIG_BUILD_IPXE=y
+CONFIG_IPXE_ADD_SCRIPT=y
+CONFIG_IPXE_SCRIPT="3rdparty/dasharo-blobs/dasharo/dasharo.ipxe"
+CONFIG_IPXE_CUSTOM_BUILD_ID="0123456789"
 CONFIG_EDK2_ENABLE_IPXE=y
-CONFIG_EDK2_SECURE_BOOT_SUPPORT=y
 # CONFIG_EDK2_SECURE_BOOT_DEFAULT_ENABLE is not set
 CONFIG_EDK2_SATA_PASSWORD=y
 CONFIG_EDK2_OPAL_PASSWORD=y
@@ -62,8 +66,4 @@ CONFIG_EDK2_DASHARO_MEMORY_CONFIG=y
 CONFIG_EDK2_BOOT_MENU_KEY=0x0015
 CONFIG_EDK2_SETUP_MENU_KEY=0x0008
 CONFIG_EDK2_RAM_DISK_ENABLE=y
-CONFIG_EDK2_CUSTOM_BUILD_PARAMS=""
 CONFIG_EDK2_CREATE_PREINSTALLED_BOOT_OPTIONS=y
-CONFIG_IPXE_ADD_SCRIPT=y
-CONFIG_IPXE_SCRIPT="3rdparty/dasharo-blobs/dasharo/dasharo.ipxe"
-CONFIG_IPXE_CUSTOM_BUILD_ID="0123456789"
diff --git a/configs/config.msi_ms7d25_ddr5 b/configs/config.msi_ms7d25_ddr5
@@ -7,26 +7,26 @@ CONFIG_IFD_BIN_PATH="3rdparty/dasharo-blobs/$(MAINBOARDDIR)/descriptor.bin"
 CONFIG_ME_BIN_PATH="3rdparty/dasharo-blobs/$(MAINBOARDDIR)/me.bin"
 CONFIG_CONSOLE_CBMEM_BUFFER_SIZE=0x100000
 CONFIG_EDK2_BOOT_TIMEOUT=3
+CONFIG_PCIEXP_DEFAULT_MAX_RESIZABLE_BAR_BITS=37
 CONFIG_HAVE_IFD_BIN=y
 CONFIG_BOARD_MSI_Z690_A_PRO_WIFI_DDR5=y
 # CONFIG_PCIEXP_ASPM is not set
 # CONFIG_PCIEXP_L1_SUB_STATE is not set
 # CONFIG_PCIEXP_CLK_PM is not set
 CONFIG_EDK2_BOOTSPLASH_FILE="3rdparty/dasharo-blobs/dasharo/bootsplash.bmp"
+CONFIG_TPM_MEASURED_BOOT=y
 CONFIG_POWER_STATE_OFF_AFTER_FAILURE=y
 CONFIG_INCLUDE_HSPHY_IN_FMAP=y
 CONFIG_SOC_INTEL_COMMON_OC_WDT_ENABLE=y
 CONFIG_ENABLE_EARLY_DMA_PROTECTION=y
 CONFIG_HAVE_ME_BIN=y
 CONFIG_DASHARO_PREFER_S3_SLEEP=y
 CONFIG_PCIEXP_SUPPORT_RESIZABLE_BARS=y
-CONFIG_PCIEXP_DEFAULT_MAX_RESIZABLE_BAR_BITS=37
 CONFIG_PCIEXP_LANE_ERR_STAT_CLEAR=y
 CONFIG_DRIVERS_EFI_VARIABLE_STORE=y
 CONFIG_DRIVERS_EFI_FW_INFO=y
 CONFIG_DRIVERS_EFI_UPDATE_CAPSULES=y
 CONFIG_TPM2=y
-CONFIG_TPM_MEASURED_BOOT=y
 CONFIG_BOOTMEDIA_LOCK_CONTROLLER=y
 CONFIG_BOOTMEDIA_LOCK_WPRO_VBOOT_RO=y
 CONFIG_BOOTMEDIA_LOCK_IN_VERSTAGE=y
@@ -43,8 +43,12 @@ CONFIG_EDK2_PLATFORMS_TAG_OR_REV="3323ed481d35096fb6a7eae7b49f35eff00f86cf"
 CONFIG_EDK2_CBMEM_LOGGING=y
 CONFIG_EDK2_FOLLOW_BGRT_SPEC=y
 CONFIG_EDK2_SERIAL_SUPPORT=y
+CONFIG_EDK2_CUSTOM_BUILD_PARAMS=""
+CONFIG_BUILD_IPXE=y
+CONFIG_IPXE_ADD_SCRIPT=y
+CONFIG_IPXE_SCRIPT="3rdparty/dasharo-blobs/dasharo/dasharo.ipxe"
+CONFIG_IPXE_CUSTOM_BUILD_ID="0123456789"
 CONFIG_EDK2_ENABLE_IPXE=y
-CONFIG_EDK2_SECURE_BOOT_SUPPORT=y
 # CONFIG_EDK2_SECURE_BOOT_DEFAULT_ENABLE is not set
 CONFIG_EDK2_SATA_PASSWORD=y
 CONFIG_EDK2_OPAL_PASSWORD=y
@@ -62,8 +66,4 @@ CONFIG_EDK2_DASHARO_MEMORY_CONFIG=y
 CONFIG_EDK2_BOOT_MENU_KEY=0x0015
 CONFIG_EDK2_SETUP_MENU_KEY=0x0008
 CONFIG_EDK2_RAM_DISK_ENABLE=y
-CONFIG_EDK2_CUSTOM_BUILD_PARAMS=""
 CONFIG_EDK2_CREATE_PREINSTALLED_BOOT_OPTIONS=y
-CONFIG_IPXE_ADD_SCRIPT=y
-CONFIG_IPXE_SCRIPT="3rdparty/dasharo-blobs/dasharo/dasharo.ipxe"
-CONFIG_IPXE_CUSTOM_BUILD_ID="0123456789"
diff --git a/configs/config.msi_ms7e06_ddr4 b/configs/config.msi_ms7e06_ddr4
@@ -6,26 +6,26 @@ CONFIG_IFD_BIN_PATH="3rdparty/dasharo-blobs/$(MAINBOARDDIR)/descriptor.bin"
 CONFIG_ME_BIN_PATH="3rdparty/dasharo-blobs/$(MAINBOARDDIR)/me.bin"
 CONFIG_CONSOLE_CBMEM_BUFFER_SIZE=0x100000
 CONFIG_EDK2_BOOT_TIMEOUT=3
+CONFIG_PCIEXP_DEFAULT_MAX_RESIZABLE_BAR_BITS=37
 CONFIG_HAVE_IFD_BIN=y
 CONFIG_BOARD_MSI_Z790_P_PRO_WIFI_DDR4=y
 # CONFIG_PCIEXP_ASPM is not set
 # CONFIG_PCIEXP_L1_SUB_STATE is not set
 # CONFIG_PCIEXP_CLK_PM is not set
 CONFIG_EDK2_BOOTSPLASH_FILE="3rdparty/dasharo-blobs/dasharo/bootsplash.bmp"
+CONFIG_TPM_MEASURED_BOOT=y
 CONFIG_POWER_STATE_OFF_AFTER_FAILURE=y
 CONFIG_INCLUDE_HSPHY_IN_FMAP=y
 CONFIG_SOC_INTEL_COMMON_OC_WDT_ENABLE=y
 CONFIG_ENABLE_EARLY_DMA_PROTECTION=y
 CONFIG_HAVE_ME_BIN=y
 CONFIG_DASHARO_PREFER_S3_SLEEP=y
 CONFIG_PCIEXP_SUPPORT_RESIZABLE_BARS=y
-CONFIG_PCIEXP_DEFAULT_MAX_RESIZABLE_BAR_BITS=37
 CONFIG_PCIEXP_LANE_ERR_STAT_CLEAR=y
 CONFIG_DRIVERS_EFI_VARIABLE_STORE=y
 CONFIG_DRIVERS_EFI_FW_INFO=y
 CONFIG_DRIVERS_EFI_UPDATE_CAPSULES=y
 CONFIG_TPM2=y
-CONFIG_TPM_MEASURED_BOOT=y
 CONFIG_BOOTMEDIA_LOCK_CONTROLLER=y
 CONFIG_BOOTMEDIA_LOCK_WPRO_VBOOT_RO=y
 CONFIG_BOOTMEDIA_LOCK_IN_VERSTAGE=y
@@ -42,8 +42,13 @@ CONFIG_EDK2_PLATFORMS_TAG_OR_REV="3323ed481d35096fb6a7eae7b49f35eff00f86cf"
 CONFIG_EDK2_CBMEM_LOGGING=y
 CONFIG_EDK2_FOLLOW_BGRT_SPEC=y
 CONFIG_EDK2_SERIAL_SUPPORT=y
+CONFIG_EDK2_CUSTOM_BUILD_PARAMS=""
+CONFIG_BUILD_IPXE=y
+CONFIG_IPXE_ADD_SCRIPT=y
+CONFIG_IPXE_SCRIPT="3rdparty/dasharo-blobs/dasharo/dasharo.ipxe"
+CONFIG_IPXE_CUSTOM_BUILD_ID="0123456789"
 CONFIG_EDK2_ENABLE_IPXE=y
-CONFIG_EDK2_SECURE_BOOT_SUPPORT=y
+# CONFIG_EDK2_SECURE_BOOT_DEFAULT_ENABLE is not set
 CONFIG_EDK2_SATA_PASSWORD=y
 CONFIG_EDK2_OPAL_PASSWORD=y
 CONFIG_EDK2_SETUP_PASSWORD=y
@@ -60,9 +65,4 @@ CONFIG_EDK2_DASHARO_MEMORY_CONFIG=y
 CONFIG_EDK2_BOOT_MENU_KEY=0x0015
 CONFIG_EDK2_SETUP_MENU_KEY=0x0008
 CONFIG_EDK2_RAM_DISK_ENABLE=y
-CONFIG_EDK2_CUSTOM_BUILD_PARAMS=""
-# CONFIG_EDK2_SECURE_BOOT_DEFAULT_ENABLE is not set
 CONFIG_EDK2_CREATE_PREINSTALLED_BOOT_OPTIONS=y
-CONFIG_IPXE_ADD_SCRIPT=y
-CONFIG_IPXE_SCRIPT="3rdparty/dasharo-blobs/dasharo/dasharo.ipxe"
-CONFIG_IPXE_CUSTOM_BUILD_ID="0123456789"
diff --git a/configs/config.msi_ms7e06_ddr5 b/configs/config.msi_ms7e06_ddr5
@@ -6,26 +6,26 @@ CONFIG_IFD_BIN_PATH="3rdparty/dasharo-blobs/$(MAINBOARDDIR)/descriptor.bin"
 CONFIG_ME_BIN_PATH="3rdparty/dasharo-blobs/$(MAINBOARDDIR)/me.bin"
 CONFIG_CONSOLE_CBMEM_BUFFER_SIZE=0x100000
 CONFIG_EDK2_BOOT_TIMEOUT=3
+CONFIG_PCIEXP_DEFAULT_MAX_RESIZABLE_BAR_BITS=37
 CONFIG_HAVE_IFD_BIN=y
 CONFIG_BOARD_MSI_Z790_P_PRO_WIFI_DDR5=y
 # CONFIG_PCIEXP_ASPM is not set
 # CONFIG_PCIEXP_L1_SUB_STATE is not set
 # CONFIG_PCIEXP_CLK_PM is not set
 CONFIG_EDK2_BOOTSPLASH_FILE="3rdparty/dasharo-blobs/dasharo/bootsplash.bmp"
+CONFIG_TPM_MEASURED_BOOT=y
 CONFIG_POWER_STATE_OFF_AFTER_FAILURE=y
 CONFIG_INCLUDE_HSPHY_IN_FMAP=y
 CONFIG_SOC_INTEL_COMMON_OC_WDT_ENABLE=y
 CONFIG_ENABLE_EARLY_DMA_PROTECTION=y
 CONFIG_HAVE_ME_BIN=y
 CONFIG_DASHARO_PREFER_S3_SLEEP=y
 CONFIG_PCIEXP_SUPPORT_RESIZABLE_BARS=y
-CONFIG_PCIEXP_DEFAULT_MAX_RESIZABLE_BAR_BITS=37
 CONFIG_PCIEXP_LANE_ERR_STAT_CLEAR=y
 CONFIG_DRIVERS_EFI_VARIABLE_STORE=y
 CONFIG_DRIVERS_EFI_FW_INFO=y
 CONFIG_DRIVERS_EFI_UPDATE_CAPSULES=y
 CONFIG_TPM2=y
-CONFIG_TPM_MEASURED_BOOT=y
 CONFIG_BOOTMEDIA_LOCK_CONTROLLER=y
 CONFIG_BOOTMEDIA_LOCK_WPRO_VBOOT_RO=y
 CONFIG_BOOTMEDIA_LOCK_IN_VERSTAGE=y
@@ -42,8 +42,13 @@ CONFIG_EDK2_PLATFORMS_TAG_OR_REV="3323ed481d35096fb6a7eae7b49f35eff00f86cf"
 CONFIG_EDK2_CBMEM_LOGGING=y
 CONFIG_EDK2_FOLLOW_BGRT_SPEC=y
 CONFIG_EDK2_SERIAL_SUPPORT=y
+CONFIG_EDK2_CUSTOM_BUILD_PARAMS=""
+CONFIG_BUILD_IPXE=y
+CONFIG_IPXE_ADD_SCRIPT=y
+CONFIG_IPXE_SCRIPT="3rdparty/dasharo-blobs/dasharo/dasharo.ipxe"
+CONFIG_IPXE_CUSTOM_BUILD_ID="0123456789"
 CONFIG_EDK2_ENABLE_IPXE=y
-CONFIG_EDK2_SECURE_BOOT_SUPPORT=y
+# CONFIG_EDK2_SECURE_BOOT_DEFAULT_ENABLE is not set
 CONFIG_EDK2_SATA_PASSWORD=y
 CONFIG_EDK2_OPAL_PASSWORD=y
 CONFIG_EDK2_SETUP_PASSWORD=y
@@ -60,9 +65,4 @@ CONFIG_EDK2_DASHARO_MEMORY_CONFIG=y
 CONFIG_EDK2_BOOT_MENU_KEY=0x0015
 CONFIG_EDK2_SETUP_MENU_KEY=0x0008
 CONFIG_EDK2_RAM_DISK_ENABLE=y
-CONFIG_EDK2_CUSTOM_BUILD_PARAMS=""
-# CONFIG_EDK2_SECURE_BOOT_DEFAULT_ENABLE is not set
 CONFIG_EDK2_CREATE_PREINSTALLED_BOOT_OPTIONS=y
-CONFIG_IPXE_ADD_SCRIPT=y
-CONFIG_IPXE_SCRIPT="3rdparty/dasharo-blobs/dasharo/dasharo.ipxe"
-CONFIG_IPXE_CUSTOM_BUILD_ID="0123456789"
diff --git a/configs/config.pcengines_apu6 b/configs/config.pcengines_apu6
@@ -20,8 +20,12 @@ CONFIG_EDK2_USE_EDK2_PLATFORMS=y
 CONFIG_EDK2_PLATFORMS_REPOSITORY="https://github.com/Dasharo/edk2-platforms"
 CONFIG_EDK2_PLATFORMS_TAG_OR_REV="3323ed481d35096fb6a7eae7b49f35eff00f86cf"
 CONFIG_EDK2_SERIAL_SUPPORT=y
+CONFIG_EDK2_CUSTOM_BUILD_PARAMS=""
+CONFIG_BUILD_IPXE=y
+CONFIG_IPXE_ADD_SCRIPT=y
+CONFIG_IPXE_SCRIPT="3rdparty/dasharo-blobs/dasharo/dasharo.ipxe"
+CONFIG_IPXE_CUSTOM_BUILD_ID="0123456789"
 CONFIG_EDK2_ENABLE_IPXE=y
-CONFIG_EDK2_SECURE_BOOT_SUPPORT=y
 # CONFIG_EDK2_SECURE_BOOT_DEFAULT_ENABLE is not set
 CONFIG_EDK2_SATA_PASSWORD=y
 CONFIG_EDK2_OPAL_PASSWORD=y
@@ -35,8 +39,4 @@ CONFIG_EDK2_DASHARO_SERIAL_REDIRECTION_DEFAULT_ENABLE=y
 CONFIG_EDK2_BOOT_MENU_KEY=0x0015
 CONFIG_EDK2_SETUP_MENU_KEY=0x0008
 CONFIG_EDK2_RAM_DISK_ENABLE=y
-CONFIG_EDK2_CUSTOM_BUILD_PARAMS=""
 CONFIG_EDK2_CREATE_PREINSTALLED_BOOT_OPTIONS=y
-CONFIG_IPXE_ADD_SCRIPT=y
-CONFIG_IPXE_SCRIPT="3rdparty/dasharo-blobs/dasharo/dasharo.ipxe"
-CONFIG_IPXE_CUSTOM_BUILD_ID="0123456789"
diff --git a/configs/config.pcengines_uefi_apu2 b/configs/config.pcengines_uefi_apu2
@@ -5,7 +5,6 @@ CONFIG_VBOOT=y
 CONFIG_PXE_ROM_ID="8086,157b"
 CONFIG_CONSOLE_CBMEM_BUFFER_SIZE=0x100000
 CONFIG_EDK2_BOOT_TIMEOUT=6
-# CONFIG_HUDSON_LEGACY_FREE is not set
 CONFIG_EDK2_BOOTSPLASH_FILE="3rdparty/dasharo-blobs/dasharo/bootsplash.bmp"
 CONFIG_TPM_MEASURED_BOOT=y
 CONFIG_UDK_202005_BINDING=y
@@ -28,8 +27,12 @@ CONFIG_EDK2_PLATFORMS_TAG_OR_REV="3323ed481d35096fb6a7eae7b49f35eff00f86cf"
 CONFIG_EDK2_CBMEM_LOGGING=y
 # CONFIG_EDK2_PS2_SUPPORT is not set
 CONFIG_EDK2_SERIAL_SUPPORT=y
+CONFIG_EDK2_CUSTOM_BUILD_PARAMS=""
+CONFIG_BUILD_IPXE=y
+CONFIG_IPXE_ADD_SCRIPT=y
+CONFIG_IPXE_SCRIPT="3rdparty/dasharo-blobs/dasharo/dasharo.ipxe"
+CONFIG_IPXE_CUSTOM_BUILD_ID="0123456789"
 CONFIG_EDK2_ENABLE_IPXE=y
-CONFIG_EDK2_SECURE_BOOT_SUPPORT=y
 # CONFIG_EDK2_SECURE_BOOT_DEFAULT_ENABLE is not set
 CONFIG_EDK2_SATA_PASSWORD=y
 CONFIG_EDK2_OPAL_PASSWORD=y
@@ -45,8 +48,4 @@ CONFIG_EDK2_HAVE_2ND_UART=y
 CONFIG_EDK2_BOOT_MENU_KEY=0x0014
 CONFIG_EDK2_SETUP_MENU_KEY=0x0008
 CONFIG_EDK2_DISABLE_OPTION_ROMS=y
-CONFIG_EDK2_CUSTOM_BUILD_PARAMS=""
 CONFIG_EDK2_CREATE_PREINSTALLED_BOOT_OPTIONS=y
-CONFIG_IPXE_ADD_SCRIPT=y
-CONFIG_IPXE_SCRIPT="3rdparty/dasharo-blobs/dasharo/dasharo.ipxe"
-CONFIG_IPXE_CUSTOM_BUILD_ID="0123456789"
diff --git a/configs/config.pcengines_uefi_apu3 b/configs/config.pcengines_uefi_apu3
@@ -6,7 +6,6 @@ CONFIG_PXE_ROM_ID="8086,1539"
 CONFIG_CONSOLE_CBMEM_BUFFER_SIZE=0x100000
 CONFIG_EDK2_BOOT_TIMEOUT=6
 CONFIG_BOARD_PCENGINES_APU3=y
-# CONFIG_HUDSON_LEGACY_FREE is not set
 CONFIG_EDK2_BOOTSPLASH_FILE="3rdparty/dasharo-blobs/dasharo/bootsplash.bmp"
 CONFIG_TPM_MEASURED_BOOT=y
 CONFIG_UDK_202005_BINDING=y
@@ -29,8 +28,12 @@ CONFIG_EDK2_PLATFORMS_TAG_OR_REV="3323ed481d35096fb6a7eae7b49f35eff00f86cf"
 CONFIG_EDK2_CBMEM_LOGGING=y
 # CONFIG_EDK2_PS2_SUPPORT is not set
 CONFIG_EDK2_SERIAL_SUPPORT=y
+CONFIG_EDK2_CUSTOM_BUILD_PARAMS=""
+CONFIG_BUILD_IPXE=y
+CONFIG_IPXE_ADD_SCRIPT=y
+CONFIG_IPXE_SCRIPT="3rdparty/dasharo-blobs/dasharo/dasharo.ipxe"
+CONFIG_IPXE_CUSTOM_BUILD_ID="0123456789"
 CONFIG_EDK2_ENABLE_IPXE=y
-CONFIG_EDK2_SECURE_BOOT_SUPPORT=y
 # CONFIG_EDK2_SECURE_BOOT_DEFAULT_ENABLE is not set
 CONFIG_EDK2_SATA_PASSWORD=y
 CONFIG_EDK2_OPAL_PASSWORD=y
@@ -46,8 +49,4 @@ CONFIG_EDK2_HAVE_2ND_UART=y
 CONFIG_EDK2_BOOT_MENU_KEY=0x0014
 CONFIG_EDK2_SETUP_MENU_KEY=0x0008
 CONFIG_EDK2_DISABLE_OPTION_ROMS=y
-CONFIG_EDK2_CUSTOM_BUILD_PARAMS=""
 CONFIG_EDK2_CREATE_PREINSTALLED_BOOT_OPTIONS=y
-CONFIG_IPXE_ADD_SCRIPT=y
-CONFIG_IPXE_SCRIPT="3rdparty/dasharo-blobs/dasharo/dasharo.ipxe"
-CONFIG_IPXE_CUSTOM_BUILD_ID="0123456789"
diff --git a/configs/config.pcengines_uefi_apu4 b/configs/config.pcengines_uefi_apu4
@@ -6,7 +6,6 @@ CONFIG_PXE_ROM_ID="8086,1539"
 CONFIG_CONSOLE_CBMEM_BUFFER_SIZE=0x100000
 CONFIG_EDK2_BOOT_TIMEOUT=6
 CONFIG_BOARD_PCENGINES_APU4=y
-# CONFIG_HUDSON_LEGACY_FREE is not set
 CONFIG_EDK2_BOOTSPLASH_FILE="3rdparty/dasharo-blobs/dasharo/bootsplash.bmp"
 CONFIG_TPM_MEASURED_BOOT=y
 CONFIG_UDK_202005_BINDING=y
@@ -29,8 +28,12 @@ CONFIG_EDK2_PLATFORMS_TAG_OR_REV="3323ed481d35096fb6a7eae7b49f35eff00f86cf"
 CONFIG_EDK2_CBMEM_LOGGING=y
 # CONFIG_EDK2_PS2_SUPPORT is not set
 CONFIG_EDK2_SERIAL_SUPPORT=y
+CONFIG_EDK2_CUSTOM_BUILD_PARAMS=""
+CONFIG_BUILD_IPXE=y
+CONFIG_IPXE_ADD_SCRIPT=y
+CONFIG_IPXE_SCRIPT="3rdparty/dasharo-blobs/dasharo/dasharo.ipxe"
+CONFIG_IPXE_CUSTOM_BUILD_ID="0123456789"
 CONFIG_EDK2_ENABLE_IPXE=y
-CONFIG_EDK2_SECURE_BOOT_SUPPORT=y
 # CONFIG_EDK2_SECURE_BOOT_DEFAULT_ENABLE is not set
 CONFIG_EDK2_SATA_PASSWORD=y
 CONFIG_EDK2_OPAL_PASSWORD=y
@@ -46,8 +49,4 @@ CONFIG_EDK2_HAVE_2ND_UART=y
 CONFIG_EDK2_BOOT_MENU_KEY=0x0014
 CONFIG_EDK2_SETUP_MENU_KEY=0x0008
 CONFIG_EDK2_DISABLE_OPTION_ROMS=y
-CONFIG_EDK2_CUSTOM_BUILD_PARAMS=""
 CONFIG_EDK2_CREATE_PREINSTALLED_BOOT_OPTIONS=y
-CONFIG_IPXE_ADD_SCRIPT=y
-CONFIG_IPXE_SCRIPT="3rdparty/dasharo-blobs/dasharo/dasharo.ipxe"
-CONFIG_IPXE_CUSTOM_BUILD_ID="0123456789"
diff --git a/configs/config.pcengines_uefi_apu6 b/configs/config.pcengines_uefi_apu6
@@ -6,7 +6,6 @@ CONFIG_PXE_ROM_ID="8086,1539"
 CONFIG_CONSOLE_CBMEM_BUFFER_SIZE=0x100000
 CONFIG_EDK2_BOOT_TIMEOUT=6
 CONFIG_BOARD_PCENGINES_APU6=y
-# CONFIG_HUDSON_LEGACY_FREE is not set
 CONFIG_EDK2_BOOTSPLASH_FILE="3rdparty/dasharo-blobs/dasharo/bootsplash.bmp"
 CONFIG_TPM_MEASURED_BOOT=y
 CONFIG_UDK_202005_BINDING=y
@@ -29,8 +28,12 @@ CONFIG_EDK2_PLATFORMS_TAG_OR_REV="3323ed481d35096fb6a7eae7b49f35eff00f86cf"
 CONFIG_EDK2_CBMEM_LOGGING=y
 # CONFIG_EDK2_PS2_SUPPORT is not set
 CONFIG_EDK2_SERIAL_SUPPORT=y
+CONFIG_EDK2_CUSTOM_BUILD_PARAMS=""
+CONFIG_BUILD_IPXE=y
+CONFIG_IPXE_ADD_SCRIPT=y
+CONFIG_IPXE_SCRIPT="3rdparty/dasharo-blobs/dasharo/dasharo.ipxe"
+CONFIG_IPXE_CUSTOM_BUILD_ID="0123456789"
 CONFIG_EDK2_ENABLE_IPXE=y
-CONFIG_EDK2_SECURE_BOOT_SUPPORT=y
 # CONFIG_EDK2_SECURE_BOOT_DEFAULT_ENABLE is not set
 CONFIG_EDK2_SATA_PASSWORD=y
 CONFIG_EDK2_OPAL_PASSWORD=y
@@ -46,8 +49,4 @@ CONFIG_EDK2_HAVE_2ND_UART=y
 CONFIG_EDK2_BOOT_MENU_KEY=0x0014
 CONFIG_EDK2_SETUP_MENU_KEY=0x0008
 CONFIG_EDK2_DISABLE_OPTION_ROMS=y
-CONFIG_EDK2_CUSTOM_BUILD_PARAMS=""
 CONFIG_EDK2_CREATE_PREINSTALLED_BOOT_OPTIONS=y
-CONFIG_IPXE_ADD_SCRIPT=y
-CONFIG_IPXE_SCRIPT="3rdparty/dasharo-blobs/dasharo/dasharo.ipxe"
-CONFIG_IPXE_CUSTOM_BUILD_ID="0123456789"
diff --git a/configs/config.protectli_vault_jsl_v1210 b/configs/config.protectli_vault_jsl_v1210
@@ -35,18 +35,18 @@ CONFIG_EDK2_CBMEM_LOGGING=y
 CONFIG_EDK2_FOLLOW_BGRT_SPEC=y
 # CONFIG_EDK2_PS2_SUPPORT is not set
 CONFIG_EDK2_SERIAL_SUPPORT=y
+CONFIG_EDK2_CUSTOM_BUILD_PARAMS=""
+CONFIG_BUILD_IPXE=y
+CONFIG_IPXE_ADD_SCRIPT=y
+CONFIG_IPXE_SCRIPT="3rdparty/dasharo-blobs/dasharo/protectli.ipxe"
+CONFIG_IPXE_CUSTOM_BUILD_ID="0123456789"
 CONFIG_EDK2_ENABLE_IPXE=y
 CONFIG_EDK2_IPXE_OPTION_NAME="Network Boot and Utilities"
-CONFIG_EDK2_SECURE_BOOT_SUPPORT=y
 # CONFIG_EDK2_SECURE_BOOT_DEFAULT_ENABLE is not set
 CONFIG_EDK2_DASHARO_SYSTEM_FEATURES=y
 CONFIG_EDK2_DASHARO_NETWORK_BOOT_DEFAULT_ENABLE=y
 CONFIG_EDK2_DASHARO_SERIAL_REDIRECTION_DEFAULT_ENABLE=y
 CONFIG_EDK2_BOOT_MENU_KEY=0x0015
 CONFIG_EDK2_SETUP_MENU_KEY=0x0008
 CONFIG_EDK2_DISABLE_OPTION_ROMS=y
-CONFIG_EDK2_CUSTOM_BUILD_PARAMS=""
 CONFIG_EDK2_CREATE_PREINSTALLED_BOOT_OPTIONS=y
-CONFIG_IPXE_ADD_SCRIPT=y
-CONFIG_IPXE_SCRIPT="3rdparty/dasharo-blobs/dasharo/protectli.ipxe"
-CONFIG_IPXE_CUSTOM_BUILD_ID="0123456789"