[DistroKit] [PATCH v2 02/10] v7a: barebox: version bump v2023.02.1 → v2023.04.0

[Ahmad Fatoum <a.fatoum@pengutronix.de>]

The config diff is a bit on the big side, because of CONFIG_ARCH_MULTIARCH,
but apart from that, not much changes for us with this update, besides
some bug fixes.

Signed-off-by: Ahmad Fatoum <a.fatoum@pengutronix.de>
---
 .../platform-v7a/barebox-am335x-mlo.config    |  29 ++--
 configs/platform-v7a/barebox-am335x.config    |  31 ++--
 .../platform-v7a/barebox-am335x.config.diff   | 106 ++++++++----
 configs/platform-v7a/barebox-at91.config      |  29 ++--
 configs/platform-v7a/barebox-at91.config.diff | 106 +++++++-----
 configs/platform-v7a/barebox-mx6.config       | 155 +++++++++++-------
 configs/platform-v7a/barebox-mx6.config.diff  | 122 +++++++++-----
 configs/platform-v7a/barebox-rpi2.config      |  32 ++--
 configs/platform-v7a/barebox-rpi2.config.diff |  95 ++++++++++-
 configs/platform-v7a/barebox-stm32mp.config   |  32 ++--
 .../platform-v7a/barebox-stm32mp.config.diff  | 100 +++++++----
 configs/platform-v7a/barebox-vexpress.config  |  32 ++--
 .../platform-v7a/barebox-vexpress.config.diff | 106 ++++++------
 configs/platform-v7a/barebox.config           | 150 +++--------------
 configs/platform-v7a/platformconfig           |   4 +-
 15 files changed, 662 insertions(+), 467 deletions(-)

diff --git a/configs/platform-v7a/barebox-am335x-mlo.config b/configs/platform-v7a/barebox-am335x-mlo.config
index 010b1b9d32cd..3de0bc28f21d 100644
--- a/configs/platform-v7a/barebox-am335x-mlo.config
+++ b/configs/platform-v7a/barebox-am335x-mlo.config
@@ -1,6 +1,6 @@
 #
 # Automatically generated file; DO NOT EDIT.
-# Barebox/arm 2023.02.1 Configuration
+# Barebox/arm 2023.04.0 Configuration
 #
 CONFIG_ARM=y
 CONFIG_ARM_USE_COMPRESSED_DTB=y
@@ -9,32 +9,32 @@ CONFIG_TEXT_BASE=0x0
 #
 # System Type
 #
+CONFIG_ARCH_OMAP=y
+CONFIG_ARCH_MULTIARCH=y
 # CONFIG_ARCH_AT91 is not set
-# CONFIG_ARCH_BCM283X is not set
 # CONFIG_ARCH_CLPS711X is not set
 # CONFIG_ARCH_DAVINCI is not set
 # CONFIG_ARCH_DIGIC is not set
 # CONFIG_ARCH_EP93XX is not set
-# CONFIG_ARCH_IMX is not set
 # CONFIG_ARCH_LAYERSCAPE is not set
 # CONFIG_ARCH_MVEBU is not set
 # CONFIG_ARCH_MXS is not set
 # CONFIG_ARCH_NOMADIK is not set
-CONFIG_ARCH_OMAP=y
+# CONFIG_ARCH_OMAP_SINGLE is not set
 # CONFIG_ARCH_PXA is not set
-# CONFIG_ARCH_ROCKCHIP is not set
 # CONFIG_ARCH_SOCFPGA is not set
-# CONFIG_ARCH_S3C24xx is not set
-# CONFIG_ARCH_S5PCxx is not set
-# CONFIG_ARCH_S3C64xx is not set
-# CONFIG_ARCH_STM32MP is not set
 # CONFIG_ARCH_VERSATILE is not set
-# CONFIG_ARCH_VEXPRESS is not set
 # CONFIG_ARCH_TEGRA is not set
 # CONFIG_ARCH_UEMD is not set
 # CONFIG_ARCH_ZYNQ is not set
-# CONFIG_ARCH_ZYNQMP is not set
 # CONFIG_ARCH_ARM64_VIRT is not set
+# CONFIG_ARCH_BCM283X is not set
+# CONFIG_ARCH_IMX is not set
+CONFIG_ARCH_OMAP_MULTI=y
+# CONFIG_ARCH_ROCKCHIP is not set
+# CONFIG_ARCH_STM32MP is not set
+# CONFIG_ARCH_VEXPRESS is not set
+# CONFIG_ARCH_ZYNQMP is not set
 
 #
 # Processor Type
@@ -405,6 +405,7 @@ CONFIG_TI_SYSC=y
 # Firmware Drivers
 #
 # CONFIG_FIRMWARE_ALTERA_SERIAL is not set
+# CONFIG_QEMU_FW_CFG is not set
 # end of Firmware Drivers
 
 #
@@ -414,7 +415,11 @@ CONFIG_TI_SYSC=y
 # end of FPGA Configuration Support
 
 # CONFIG_GENERIC_PHY is not set
-# CONFIG_CRYPTO_HW is not set
+
+#
+# Hardware crypto devices
+#
+# end of Hardware crypto devices
 
 #
 # Memory controller drivers
diff --git a/configs/platform-v7a/barebox-am335x.config b/configs/platform-v7a/barebox-am335x.config
index 647d7162297c..83799f4015c5 100644
--- a/configs/platform-v7a/barebox-am335x.config
+++ b/configs/platform-v7a/barebox-am335x.config
@@ -1,6 +1,6 @@
 #
 # Automatically generated file; DO NOT EDIT.
-# Barebox/arm 2023.02.1 Configuration
+# Barebox/arm 2023.04.0 Configuration
 #
 CONFIG_ARM=y
 CONFIG_ARM_LINUX=y
@@ -10,32 +10,32 @@ CONFIG_TEXT_BASE=0x0
 #
 # System Type
 #
+CONFIG_ARCH_OMAP=y
+CONFIG_ARCH_MULTIARCH=y
 # CONFIG_ARCH_AT91 is not set
-# CONFIG_ARCH_BCM283X is not set
 # CONFIG_ARCH_CLPS711X is not set
 # CONFIG_ARCH_DAVINCI is not set
 # CONFIG_ARCH_DIGIC is not set
 # CONFIG_ARCH_EP93XX is not set
-# CONFIG_ARCH_IMX is not set
 # CONFIG_ARCH_LAYERSCAPE is not set
 # CONFIG_ARCH_MVEBU is not set
 # CONFIG_ARCH_MXS is not set
 # CONFIG_ARCH_NOMADIK is not set
-CONFIG_ARCH_OMAP=y
+# CONFIG_ARCH_OMAP_SINGLE is not set
 # CONFIG_ARCH_PXA is not set
-# CONFIG_ARCH_ROCKCHIP is not set
 # CONFIG_ARCH_SOCFPGA is not set
-# CONFIG_ARCH_S3C24xx is not set
-# CONFIG_ARCH_S5PCxx is not set
-# CONFIG_ARCH_S3C64xx is not set
-# CONFIG_ARCH_STM32MP is not set
 # CONFIG_ARCH_VERSATILE is not set
-# CONFIG_ARCH_VEXPRESS is not set
 # CONFIG_ARCH_TEGRA is not set
 # CONFIG_ARCH_UEMD is not set
 # CONFIG_ARCH_ZYNQ is not set
-# CONFIG_ARCH_ZYNQMP is not set
 # CONFIG_ARCH_ARM64_VIRT is not set
+# CONFIG_ARCH_BCM283X is not set
+# CONFIG_ARCH_IMX is not set
+CONFIG_ARCH_OMAP_MULTI=y
+# CONFIG_ARCH_ROCKCHIP is not set
+# CONFIG_ARCH_STM32MP is not set
+# CONFIG_ARCH_VEXPRESS is not set
+# CONFIG_ARCH_ZYNQMP is not set
 
 #
 # Processor Type
@@ -627,6 +627,7 @@ CONFIG_USB_STORAGE=y
 # USB Miscellaneous drivers
 #
 # CONFIG_USB_HUB_USB251XB is not set
+# CONFIG_USB_ONBOARD_HUB is not set
 CONFIG_USB_GADGET=y
 CONFIG_USB_GADGET_AUTOSTART=y
 
@@ -693,6 +694,7 @@ CONFIG_CLOCKSOURCE_TI_DM=y
 # CONFIG_MFD_ATMEL_FLEXCOM is not set
 # CONFIG_MFD_RK808 is not set
 # CONFIG_MFD_AXP20X_I2C is not set
+# CONFIG_MFD_ROHM_BD718XX is not set
 # end of Multifunction device drivers
 
 #
@@ -799,6 +801,7 @@ CONFIG_REGULATOR_FIXED=y
 # Firmware Drivers
 #
 # CONFIG_FIRMWARE_ALTERA_SERIAL is not set
+# CONFIG_QEMU_FW_CFG is not set
 # end of Firmware Drivers
 
 #
@@ -808,7 +811,11 @@ CONFIG_REGULATOR_FIXED=y
 # end of FPGA Configuration Support
 
 # CONFIG_GENERIC_PHY is not set
-# CONFIG_CRYPTO_HW is not set
+
+#
+# Hardware crypto devices
+#
+# end of Hardware crypto devices
 
 #
 # Memory controller drivers
diff --git a/configs/platform-v7a/barebox-am335x.config.diff b/configs/platform-v7a/barebox-am335x.config.diff
index 20ab6803c846..aebe906ccd04 100644
--- a/configs/platform-v7a/barebox-am335x.config.diff
+++ b/configs/platform-v7a/barebox-am335x.config.diff
@@ -1,76 +1,106 @@
-68457081af06bd8377bc38ef02c7d415
-# CONFIG_32BIT is undefined
-# CONFIG_64BIT is undefined
+6779f231005317170237cbdb0787cba8
 # CONFIG_AM33XX_NET_BOOT is not set
 CONFIG_ARCH_AM33XX=y
-# CONFIG_ARCH_BCM283X is not set
 CONFIG_ARCH_OMAP=y
-# CONFIG_ARCH_TEXT_BASE is undefined
+CONFIG_ARCH_OMAP_MULTI=y
+CONFIG_ARM_AMBA=y
 CONFIG_ARM_ASM_UNIFIED=y
 CONFIG_ARM_BOARD_APPEND_ATAG=y
 # CONFIG_ARM_BOARD_PREPEND_ATAG is not set
-# CONFIG_ARM_SCMI_PROTOCOL is undefined
-# CONFIG_ARM_SECURE_MONITOR is undefined
-# CONFIG_ARM_SMCCC is undefined
+# CONFIG_ARM_PSCI is not set
+# CONFIG_ARM_PSCI_CLIENT is not set
+CONFIG_ARM_USE_COMPRESSED_DTB=y
+CONFIG_BAREBOX_MAX_PBL_SIZE=0xffffffff
 # CONFIG_BAREBOX_UPDATE_AM33XX_EMMC is not set
 # CONFIG_BAREBOX_UPDATE_AM33XX_NAND is not set
 CONFIG_BAREBOX_UPDATE_AM33XX_SPI_NOR_MLO=y
+CONFIG_BOARD_ARM_GENERIC_DT=y
+CONFIG_BOARD_GENERIC_DT=y
 CONFIG_BOOTM_OFTREE_UIMAGE=y
 CONFIG_BUS_OMAP_GPMC=y
-# CONFIG_CLKDEV_LOOKUP is undefined
-# CONFIG_CLOCKSOURCE_BCM283X is undefined
+CONFIG_CLOCKSOURCE_ARM_ARCHITECTED_TIMER=y
 CONFIG_CLOCKSOURCE_TI_DM=y
-# CONFIG_CMD_CLK is undefined
+CONFIG_CMD_ARM_MMUINFO=y
+CONFIG_CMD_GPIO=y
 # CONFIG_CMD_KEYSTORE is not set
 CONFIG_CMD_NAND=y
 # CONFIG_CMD_NANDTEST is not set
 # CONFIG_CMD_NAND_BITFLIP is not set
 # CONFIG_CMD_NVMEM is not set
-# CONFIG_CMD_SMC is undefined
-# CONFIG_COMMON_CLK is undefined
-# CONFIG_COMMON_CLK_OF_PROVIDER is undefined
 # CONFIG_CONSOLE_ACTIVATE_FIRST is not set
 CONFIG_CONSOLE_ACTIVATE_NONE=y
-# CONFIG_CPU_SUPPORTS_32BIT_KERNEL is undefined
-# CONFIG_CPU_SUPPORTS_64BIT_KERNEL is undefined
+CONFIG_CPU_32=y
+CONFIG_CPU_32v7=y
+CONFIG_CPU_V7=y
 CONFIG_CRYPTO_KEYSTORE=y
+# CONFIG_DEBUG_LL is not set
 CONFIG_DEBUG_OMAP_UART_PORT=1
+# CONFIG_DEFAULT_COMPRESSION_BZIP2 is undefined
+# CONFIG_DEFAULT_COMPRESSION_GZIP is undefined
+# CONFIG_DEFAULT_COMPRESSION_LZO is undefined
+# CONFIG_DEFAULT_COMPRESSION_XZ is undefined
 CONFIG_DIGEST_HMAC_GENERIC=y
-# CONFIG_DRIVER_NET_ARC_EMAC is undefined
+# CONFIG_DISK_AHCI is not set
 CONFIG_DRIVER_NET_CPSW=y
+# CONFIG_DRIVER_NET_DESIGNWARE_GENERIC is not set
 CONFIG_DRIVER_SERIAL_NS16550=y
 # CONFIG_DRIVER_SPI_FSL_QUADSPI is not set
+CONFIG_DRIVER_SPI_GPIO=y
 CONFIG_DRIVER_SPI_OMAP3=y
 # CONFIG_EEPROM_93XX46 is not set
 CONFIG_EEPROM_AT24=y
+# CONFIG_FIRMWARE_ALTERA_SERIAL is not set
+CONFIG_GENERIC_GPIO=y
+CONFIG_GPIOLIB=y
+# CONFIG_GPIO_74164 is not set
+# CONFIG_GPIO_74XX_MMIO is not set
+# CONFIG_GPIO_DESIGNWARE is not set
 CONFIG_GPIO_GENERIC=y
 CONFIG_GPIO_GENERIC_PLATFORM=y
+# CONFIG_GPIO_LATCH is not set
 CONFIG_GPIO_OMAP=y
-# CONFIG_GPIO_RASPBERRYPI_EXP is undefined
+# CONFIG_GPIO_PCA953X is not set
+# CONFIG_GPIO_PCF857X is not set
+# CONFIG_GPIO_PL061 is not set
+# CONFIG_GPIO_SIFIVE is not set
+# CONFIG_GPIO_SX150X is not set
+# CONFIG_GPIO_WATCHDOG is not set
 # CONFIG_GREGORIAN_CALENDER is undefined
-# CONFIG_HAVE_CLK is undefined
+CONFIG_HAS_DEBUG_LL=y
+CONFIG_HAS_DMA=y
+CONFIG_HAS_MODULES=y
 CONFIG_HAVE_DIGEST_HMAC=y
-# CONFIG_I2C_BCM283X is undefined
-# CONFIG_I2C_MV64XXX is undefined
+CONFIG_HAVE_MOD_ARCH_SPECIFIC=y
+CONFIG_HAVE_PBL_IMAGE=y
+CONFIG_HAVE_PBL_MULTI_IMAGES=y
+CONFIG_I2C_ALGOBIT=y
+CONFIG_I2C_GPIO=y
 CONFIG_I2C_OMAP=y
+CONFIG_IMAGE_COMPRESSION=y
+# CONFIG_IMAGE_COMPRESSION_GZIP is not set
+# CONFIG_IMAGE_COMPRESSION_LZ4 is not set
+CONFIG_IMAGE_COMPRESSION_LZO=y
+# CONFIG_IMAGE_COMPRESSION_NONE is not set
+# CONFIG_IMAGE_COMPRESSION_XZKERN is not set
+# CONFIG_JTAG is not set
+# CONFIG_KEYBOARD_GPIO is not set
+# CONFIG_KEYBOARD_QT1070 is not set
+CONFIG_LED_GPIO=y
+# CONFIG_LED_GPIO_BICOLOR is not set
+CONFIG_LED_GPIO_OF=y
+# CONFIG_LED_GPIO_RGB is not set
+CONFIG_LIBFDT=y
 CONFIG_MACH_AFI_GF=y
 # CONFIG_MACH_BEAGLE is not set
 CONFIG_MACH_BEAGLEBONE=y
 # CONFIG_MACH_MYIRTECH_X335X is not set
 # CONFIG_MACH_PHYTEC_SOM_AM335X is not set
-# CONFIG_MACH_RPI2 is undefined
-# CONFIG_MACH_RPI3 is undefined
-# CONFIG_MACH_RPI4 is undefined
-# CONFIG_MACH_RPI is undefined
-# CONFIG_MACH_RPI_AARCH_32_64 is undefined
-# CONFIG_MACH_RPI_CM3 is undefined
-# CONFIG_MACH_RPI_COMMON is undefined
 # CONFIG_MACH_VSCOM_BALTOS is not set
 # CONFIG_MACH_WAGO_PFC_AM35XX is not set
-# CONFIG_MCI_BCM283X is undefined
-# CONFIG_MCI_BCM283X_SDHOST is undefined
+# CONFIG_MCI_DW is not set
 # CONFIG_MCI_MMCI is not set
 CONFIG_MCI_OMAP_HSMMC=y
+# CONFIG_MDIO_BUS_MUX_GPIO is not set
 CONFIG_MTD_M25P80=y
 # CONFIG_MTD_NAND_DENALI is not set
 # CONFIG_MTD_NAND_ECC_SOFT is not set
@@ -83,31 +113,41 @@ CONFIG_NAND=y
 # CONFIG_NAND_ALLOW_ERASE_BAD is not set
 CONFIG_NAND_ECC_HW_SYNDROME=y
 CONFIG_NAND_OMAP_GPMC=y
+# CONFIG_NLS is not set
 CONFIG_NVMEM=y
 # CONFIG_NVMEM_REBOOT_MODE is not set
 # CONFIG_NVMEM_RMEM is not set
 # CONFIG_NVMEM_SNVS_LPGPR is not set
+CONFIG_OF_GPIO=y
 # CONFIG_OMAP_BUILD_IFT is not set
 # CONFIG_OMAP_BUILD_SPI is not set
 CONFIG_OMAP_GPMC=y
 CONFIG_OMAP_IMAGE=y
 CONFIG_OMAP_MULTI_BOARDS=y
+# CONFIG_PBL_CONSOLE is not set
+CONFIG_PBL_IMAGE=y
+CONFIG_PBL_MULTI_IMAGES=y
 # CONFIG_PBL_OPTEE is undefined
-# CONFIG_PINCTRL_BCM283X is undefined
+CONFIG_PBL_RELOCATABLE=y
 CONFIG_PINCTRL_SINGLE=y
+# CONFIG_POWER_RESET_GPIO is not set
+# CONFIG_POWER_RESET_GPIO_RESTART is not set
 CONFIG_PROMPT="barebox> "
-# CONFIG_REGULATOR_BCM283X is undefined
 CONFIG_REGULATOR_FIXED=y
+# CONFIG_SERIAL_AMBA_PL011 is not set
 # CONFIG_SPI_CADENCE_QUADSPI is not set
 CONFIG_SPI_MEM=y
 CONFIG_THUMB2_BAREBOX=y
 # CONFIG_TIMESTAMP is not set
 CONFIG_TI_SYSC=y
+# CONFIG_USB_DWC3 is not set
+CONFIG_USB_EHCI=y
 CONFIG_USB_MUSB=y
 CONFIG_USB_MUSB_AM335X=y
 CONFIG_USB_MUSB_DSPS=y
 CONFIG_USB_MUSB_GADGET=y
 CONFIG_USB_MUSB_HOST=y
 CONFIG_USB_OTGDEV=y
-# CONFIG_WATCHDOG_BCM2835 is undefined
+# CONFIG_USB_XHCI is not set
+CONFIG_USE_COMPRESSED_DTB=y
 CONFIG_WATCHDOG_OMAP=y
diff --git a/configs/platform-v7a/barebox-at91.config b/configs/platform-v7a/barebox-at91.config
index b9f129a0ef5f..2fb2abde0589 100644
--- a/configs/platform-v7a/barebox-at91.config
+++ b/configs/platform-v7a/barebox-at91.config
@@ -1,42 +1,37 @@
 #
 # Automatically generated file; DO NOT EDIT.
-# Barebox/arm 2023.02.1 Configuration
+# Barebox/arm 2023.04.0 Configuration
 #
 CONFIG_ARM=y
 CONFIG_ARM_LINUX=y
-CONFIG_HAVE_MACH_ARM_HEAD=y
 CONFIG_ARM_USE_COMPRESSED_DTB=y
 CONFIG_TEXT_BASE=0x0
 
 #
 # System Type
 #
+# CONFIG_ARCH_MULTIARCH is not set
 CONFIG_ARCH_AT91=y
-# CONFIG_ARCH_BCM283X is not set
 # CONFIG_ARCH_CLPS711X is not set
 # CONFIG_ARCH_DAVINCI is not set
 # CONFIG_ARCH_DIGIC is not set
 # CONFIG_ARCH_EP93XX is not set
-# CONFIG_ARCH_IMX is not set
 # CONFIG_ARCH_LAYERSCAPE is not set
 # CONFIG_ARCH_MVEBU is not set
 # CONFIG_ARCH_MXS is not set
 # CONFIG_ARCH_NOMADIK is not set
-# CONFIG_ARCH_OMAP is not set
+# CONFIG_ARCH_OMAP_SINGLE is not set
 # CONFIG_ARCH_PXA is not set
-# CONFIG_ARCH_ROCKCHIP is not set
 # CONFIG_ARCH_SOCFPGA is not set
-# CONFIG_ARCH_S3C24xx is not set
-# CONFIG_ARCH_S5PCxx is not set
-# CONFIG_ARCH_S3C64xx is not set
-# CONFIG_ARCH_STM32MP is not set
 # CONFIG_ARCH_VERSATILE is not set
-# CONFIG_ARCH_VEXPRESS is not set
 # CONFIG_ARCH_TEGRA is not set
 # CONFIG_ARCH_UEMD is not set
 # CONFIG_ARCH_ZYNQ is not set
-# CONFIG_ARCH_ZYNQMP is not set
 # CONFIG_ARCH_ARM64_VIRT is not set
+# CONFIG_ARCH_BCM283X is not set
+# CONFIG_ARCH_STM32MP is not set
+# CONFIG_ARCH_VEXPRESS is not set
+# CONFIG_ARCH_ZYNQMP is not set
 
 #
 # Processor Type
@@ -681,6 +676,7 @@ CONFIG_MFD_SYSCON=y
 CONFIG_MFD_ATMEL_FLEXCOM=y
 # CONFIG_MFD_RK808 is not set
 # CONFIG_MFD_AXP20X_I2C is not set
+# CONFIG_MFD_ROHM_BD718XX is not set
 CONFIG_MFD_ATMEL_SMC=y
 # end of Multifunction device drivers
 
@@ -785,6 +781,7 @@ CONFIG_REGULATOR_FIXED=y
 # Firmware Drivers
 #
 # CONFIG_FIRMWARE_ALTERA_SERIAL is not set
+# CONFIG_QEMU_FW_CFG is not set
 # end of Firmware Drivers
 
 #
@@ -794,7 +791,11 @@ CONFIG_REGULATOR_FIXED=y
 # end of FPGA Configuration Support
 
 # CONFIG_GENERIC_PHY is not set
-# CONFIG_CRYPTO_HW is not set
+
+#
+# Hardware crypto devices
+#
+# end of Hardware crypto devices
 
 #
 # Memory controller drivers
@@ -914,7 +915,7 @@ CONFIG_LIBUBIGEN=y
 #
 # end of Library gui routines
 
-# CONFIG_NLS is not set
+CONFIG_NLS=y
 # CONFIG_BLOBGEN is not set
 CONFIG_ARCH_HAS_STACK_DUMP=y
 CONFIG_ARCH_HAS_DATA_ABORT_MASK=y
diff --git a/configs/platform-v7a/barebox-at91.config.diff b/configs/platform-v7a/barebox-at91.config.diff
index 2b7b71b6879b..ed3831b6bfbc 100644
--- a/configs/platform-v7a/barebox-at91.config.diff
+++ b/configs/platform-v7a/barebox-at91.config.diff
@@ -1,43 +1,55 @@
-68457081af06bd8377bc38ef02c7d415
-# CONFIG_32BIT is undefined
-# CONFIG_64BIT is undefined
+6779f231005317170237cbdb0787cba8
 CONFIG_ARCH_AT91=y
-# CONFIG_ARCH_BCM283X is not set
+# CONFIG_ARCH_IMX is undefined
+# CONFIG_ARCH_MULTIARCH is not set
+# CONFIG_ARCH_OMAP_MULTI is undefined
+# CONFIG_ARCH_ROCKCHIP is undefined
 CONFIG_ARCH_TEXT_BASE=0x23f00000
-# CONFIG_ARM_AMBA is undefined
-# CONFIG_ARM_SCMI_PROTOCOL is undefined
-# CONFIG_ARM_SECURE_MONITOR is undefined
-# CONFIG_ARM_SMCCC is undefined
+# CONFIG_ARM_PSCI is not set
+# CONFIG_ARM_PSCI_CLIENT is not set
+CONFIG_ARM_USE_COMPRESSED_DTB=y
 CONFIG_AT91SAM9_SMC=y
 CONFIG_AT91_MCI_PBL=y
 CONFIG_AT91_MULTI_BOARDS=y
 CONFIG_ATMEL_EBI=y
+CONFIG_BAREBOX_MAX_PBL_SIZE=0xffffffff
 # CONFIG_BOARD_ARM_GENERIC_DT is not set
-# CONFIG_BOARD_GENERIC_DT is undefined
 CONFIG_BOOTM_OFTREE_UIMAGE=y
+CONFIG_CLKDEV_LOOKUP=y
+CONFIG_CLOCKSOURCE_ARM_ARCHITECTED_TIMER=y
 CONFIG_CLOCKSOURCE_ATMEL_PIT=y
-# CONFIG_CLOCKSOURCE_BCM283X is undefined
+CONFIG_CMD_ARM_MMUINFO=y
 CONFIG_CMD_AT91CLK=y
 CONFIG_CMD_AT91_BOOT_TEST=y
+CONFIG_CMD_CLK=y
+CONFIG_CMD_GPIO=y
 CONFIG_CMD_MENU_MANAGEMENT=y
 # CONFIG_CMD_MMC is not set
 CONFIG_CMD_NAND=y
 # CONFIG_CMD_NANDTEST is not set
 # CONFIG_CMD_NAND_BITFLIP is not set
 # CONFIG_CMD_NVMEM is not set
-# CONFIG_CMD_SMC is undefined
 CONFIG_CMD_UBI=y
 CONFIG_CMD_UBIFORMAT=y
 # CONFIG_CMD_USB is undefined
 # CONFIG_CMD_USBGADGET is undefined
+CONFIG_COMMON_CLK=y
 CONFIG_COMMON_CLK_AT91=y
+CONFIG_COMMON_CLK_OF_PROVIDER=y
 CONFIG_COMPILE_LOGLEVEL=6
-# CONFIG_CPU_SUPPORTS_32BIT_KERNEL is undefined
-# CONFIG_CPU_SUPPORTS_64BIT_KERNEL is undefined
+CONFIG_CPU_32=y
+CONFIG_CPU_32v7=y
+CONFIG_CPU_V7=y
 CONFIG_DEBUG_AT91_UART_BASE=0xfc069000
+# CONFIG_DEBUG_LL is not set
 # CONFIG_DEBUG_PBL is not set
+# CONFIG_DEFAULT_COMPRESSION_BZIP2 is undefined
+# CONFIG_DEFAULT_COMPRESSION_GZIP is undefined
+# CONFIG_DEFAULT_COMPRESSION_LZO is undefined
+# CONFIG_DEFAULT_COMPRESSION_XZ is undefined
 CONFIG_DEFAULT_LOGLEVEL=7
-# CONFIG_DRIVER_NET_ARC_EMAC is undefined
+# CONFIG_DISK_AHCI is not set
+# CONFIG_DRIVER_NET_DESIGNWARE_GENERIC is not set
 CONFIG_DRIVER_NET_MACB=y
 CONFIG_DRIVER_NET_MICREL=y
 CONFIG_DRIVER_SERIAL_ATMEL=y
@@ -49,14 +61,28 @@ CONFIG_EEPROM_AT24=y
 # CONFIG_FASTBOOT_BASE is undefined
 # CONFIG_FASTBOOT_CMD_OEM is undefined
 # CONFIG_FASTBOOT_SPARSE is undefined
+# CONFIG_FIRMWARE_ALTERA_SERIAL is not set
 CONFIG_FS_UBIFS=y
 # CONFIG_FS_UBIFS_COMPRESSION_LZO is not set
 # CONFIG_FS_UBIFS_COMPRESSION_ZLIB is not set
 CONFIG_FS_UBIFS_COMPRESSION_ZSTD=y
 CONFIG_GENERIC_ALLOCATOR=y
-# CONFIG_GPIO_PL061 is undefined
-# CONFIG_GPIO_RASPBERRYPI_EXP is undefined
+CONFIG_GENERIC_GPIO=y
+CONFIG_GPIOLIB=y
+# CONFIG_GPIO_74164 is not set
+# CONFIG_GPIO_74XX_MMIO is not set
+# CONFIG_GPIO_DESIGNWARE is not set
+# CONFIG_GPIO_GENERIC_PLATFORM is not set
+# CONFIG_GPIO_LATCH is not set
+# CONFIG_GPIO_PCA953X is not set
+# CONFIG_GPIO_PCF857X is not set
+# CONFIG_GPIO_SIFIVE is not set
+# CONFIG_GPIO_SX150X is not set
+# CONFIG_GPIO_WATCHDOG is not set
+CONFIG_HAS_DEBUG_LL=y
+CONFIG_HAS_DMA=y
 CONFIG_HAS_MACB=y
+CONFIG_HAS_MODULES=y
 CONFIG_HAVE_AT91SAM9_RST=y
 CONFIG_HAVE_AT91_AUDIO_PLL=y
 CONFIG_HAVE_AT91_DDRAMC=y
@@ -66,30 +92,35 @@ CONFIG_HAVE_AT91_I2S_MUX_CLK=y
 CONFIG_HAVE_AT91_SMD=y
 CONFIG_HAVE_AT91_USB_CLK=y
 CONFIG_HAVE_AT91_UTMI=y
-CONFIG_HAVE_MACH_ARM_HEAD=y
+CONFIG_HAVE_CLK=y
+CONFIG_HAVE_MOD_ARCH_SPECIFIC=y
+CONFIG_HAVE_PBL_IMAGE=y
+CONFIG_HAVE_PBL_MULTI_IMAGES=y
 # CONFIG_HWRNG is not set
-# CONFIG_I2C_ALGOBIT is undefined
 CONFIG_I2C_AT91=y
-# CONFIG_I2C_BCM283X is undefined
 # CONFIG_I2C_GPIO is not set
+# CONFIG_I2C_MV64XXX is not set
+CONFIG_IMAGE_COMPRESSION=y
+# CONFIG_IMAGE_COMPRESSION_GZIP is not set
+# CONFIG_IMAGE_COMPRESSION_LZ4 is not set
 # CONFIG_IMAGE_COMPRESSION_LZO is not set
 CONFIG_IMAGE_COMPRESSION_NONE=y
+# CONFIG_IMAGE_COMPRESSION_XZKERN is not set
 # CONFIG_IMAGE_SPARSE is undefined
 CONFIG_IMD_TARGET=y
+# CONFIG_JTAG is not set
+# CONFIG_KEYBOARD_GPIO is not set
+# CONFIG_KEYBOARD_QT1070 is not set
 # CONFIG_KEYBOARD_USB is undefined
-# CONFIG_LIBFDT is undefined
+CONFIG_LED_GPIO=y
+# CONFIG_LED_GPIO_BICOLOR is not set
+CONFIG_LED_GPIO_OF=y
+# CONFIG_LED_GPIO_RGB is not set
 CONFIG_LIBSCAN=y
 CONFIG_LIBUBIGEN=y
 # CONFIG_MACH_AT91SAM9263EK is not set
 # CONFIG_MACH_AT91SAM9X5EK is not set
 # CONFIG_MACH_MICROCHIP_KSZ9477_EVB is not set
-# CONFIG_MACH_RPI2 is undefined
-# CONFIG_MACH_RPI3 is undefined
-# CONFIG_MACH_RPI4 is undefined
-# CONFIG_MACH_RPI is undefined
-# CONFIG_MACH_RPI_AARCH_32_64 is undefined
-# CONFIG_MACH_RPI_CM3 is undefined
-# CONFIG_MACH_RPI_COMMON is undefined
 CONFIG_MACH_SAMA5D27_GIANTBOARD=y
 CONFIG_MACH_SAMA5D27_SOM1=y
 # CONFIG_MACH_SAMA5D3_XPLAINED is not set
@@ -98,12 +129,11 @@ CONFIG_MACH_SAMA5D4_WIFX=y
 CONFIG_MCI_ATMEL=y
 CONFIG_MCI_ATMEL_SDHCI=y
 CONFIG_MCI_ATMEL_SDHCI_PBL=y
-# CONFIG_MCI_BCM283X is undefined
-# CONFIG_MCI_BCM283X_SDHOST is undefined
-# CONFIG_MCI_MMCI is undefined
+# CONFIG_MCI_DW is not set
 CONFIG_MCI_MMC_BOOT_PARTITIONS=y
 CONFIG_MCI_SDHCI=y
 # CONFIG_MCI_STARTUP is not set
+# CONFIG_MDIO_BUS_MUX_GPIO is not set
 CONFIG_MFD_ATMEL_FLEXCOM=y
 CONFIG_MFD_ATMEL_SMC=y
 CONFIG_MFD_SYSCON=y
@@ -132,15 +162,18 @@ CONFIG_NVMEM=y
 # CONFIG_NVMEM_RMEM is not set
 # CONFIG_NVMEM_SNVS_LPGPR is not set
 CONFIG_OF_BAREBOX_ENV_IN_FS=y
+CONFIG_OF_GPIO=y
 CONFIG_PBL_CONSOLE=y
+CONFIG_PBL_IMAGE=y
+CONFIG_PBL_MULTI_IMAGES=y
+CONFIG_PBL_RELOCATABLE=y
 CONFIG_PINCTRL_AT91=y
 CONFIG_PINCTRL_AT91PIO4=y
-# CONFIG_PINCTRL_BCM283X is undefined
+# CONFIG_POWER_RESET_GPIO is not set
+# CONFIG_POWER_RESET_GPIO_RESTART is not set
 CONFIG_PROMPT="barebox:"
 # CONFIG_REGULATOR_ANATOP is not set
-# CONFIG_REGULATOR_BCM283X is undefined
 CONFIG_REGULATOR_FIXED=y
-# CONFIG_SERIAL_AMBA_PL011 is undefined
 CONFIG_SOC_SAMA5=y
 CONFIG_SOC_SAMA5D2=y
 CONFIG_SOC_SAMA5D4=y
@@ -150,14 +183,11 @@ CONFIG_SPI_ATMEL_QUADSPI=y
 CONFIG_SPI_MEM=y
 CONFIG_SRAM=y
 # CONFIG_SYSCON_REBOOT_MODE is not set
-# CONFIG_THUMB2_BAREBOX is undefined
 CONFIG_UBIFORMAT=y
 # CONFIG_USB is undefined
 # CONFIG_USBGADGET_START is undefined
 # CONFIG_USB_DWC2_GADGET is undefined
 # CONFIG_USB_DWC2_HOST is undefined
-# CONFIG_USB_DWC3 is undefined
-# CONFIG_USB_EHCI is undefined
 # CONFIG_USB_GADGET is not set
 # CONFIG_USB_GADGET_AUTOSTART is undefined
 # CONFIG_USB_GADGET_DFU is undefined
@@ -167,11 +197,11 @@ CONFIG_UBIFORMAT=y
 # CONFIG_USB_HOST is not set
 # CONFIG_USB_HUB_USB251XB is undefined
 # CONFIG_USB_NET_AX88179_178A is undefined
+# CONFIG_USB_ONBOARD_HUB is undefined
 # CONFIG_USB_STORAGE is undefined
 # CONFIG_USB_ULPI is undefined
-# CONFIG_USB_XHCI is undefined
+CONFIG_USE_COMPRESSED_DTB=y
 CONFIG_WATCHDOG_AT91SAM9=y
-# CONFIG_WATCHDOG_BCM2835 is undefined
 CONFIG_XXHASH=y
 # CONFIG_XZ_DECOMPRESS is not set
 # CONFIG_XZ_DEC_ARM is undefined
diff --git a/configs/platform-v7a/barebox-mx6.config b/configs/platform-v7a/barebox-mx6.config
index f6a1003d1570..57f57f907495 100644
--- a/configs/platform-v7a/barebox-mx6.config
+++ b/configs/platform-v7a/barebox-mx6.config
@@ -1,6 +1,6 @@
 #
 # Automatically generated file; DO NOT EDIT.
-# Barebox/arm 2023.02.1 Configuration
+# Barebox/arm 2023.04.0 Configuration
 #
 CONFIG_ARM=y
 CONFIG_ARM_LINUX=y
@@ -9,32 +9,31 @@ CONFIG_TEXT_BASE=0x0
 #
 # System Type
 #
+CONFIG_ARCH_MULTIARCH=y
 # CONFIG_ARCH_AT91 is not set
-# CONFIG_ARCH_BCM283X is not set
 # CONFIG_ARCH_CLPS711X is not set
 # CONFIG_ARCH_DAVINCI is not set
 # CONFIG_ARCH_DIGIC is not set
 # CONFIG_ARCH_EP93XX is not set
-CONFIG_ARCH_IMX=y
 # CONFIG_ARCH_LAYERSCAPE is not set
 # CONFIG_ARCH_MVEBU is not set
 # CONFIG_ARCH_MXS is not set
 # CONFIG_ARCH_NOMADIK is not set
-# CONFIG_ARCH_OMAP is not set
+# CONFIG_ARCH_OMAP_SINGLE is not set
 # CONFIG_ARCH_PXA is not set
-# CONFIG_ARCH_ROCKCHIP is not set
 # CONFIG_ARCH_SOCFPGA is not set
-# CONFIG_ARCH_S3C24xx is not set
-# CONFIG_ARCH_S5PCxx is not set
-# CONFIG_ARCH_S3C64xx is not set
-# CONFIG_ARCH_STM32MP is not set
 # CONFIG_ARCH_VERSATILE is not set
-# CONFIG_ARCH_VEXPRESS is not set
 # CONFIG_ARCH_TEGRA is not set
 # CONFIG_ARCH_UEMD is not set
 # CONFIG_ARCH_ZYNQ is not set
-# CONFIG_ARCH_ZYNQMP is not set
 # CONFIG_ARCH_ARM64_VIRT is not set
+# CONFIG_ARCH_BCM283X is not set
+CONFIG_ARCH_IMX=y
+# CONFIG_ARCH_OMAP_MULTI is not set
+# CONFIG_ARCH_ROCKCHIP is not set
+# CONFIG_ARCH_STM32MP is not set
+# CONFIG_ARCH_VEXPRESS is not set
+# CONFIG_ARCH_ZYNQMP is not set
 
 #
 # Processor Type
@@ -49,88 +48,111 @@ CONFIG_CPU_32v7=y
 # CONFIG_BOOT_ENDIANNESS_SWITCH is not set
 CONFIG_ARCH_HAS_L2X0=y
 # CONFIG_CACHE_L2X0 is not set
-CONFIG_ARCH_TEXT_BASE=0x4fc00000
+CONFIG_CPU_SUPPORTS_32BIT_KERNEL=y
+CONFIG_CPU_SUPPORTS_64BIT_KERNEL=y
 CONFIG_ARCH_IMX_IMXIMAGE=y
 CONFIG_RESET_IMX_SRC=y
 
 #
-# Freescale i.MX System-on-Chip
+# i.MX boards
 #
 CONFIG_ARCH_IMX6=y
 CONFIG_ARCH_IMX6SX=y
-CONFIG_IMX_MULTI_BOARDS=y
+
+#
+# i.MX1 boards
+#
 # CONFIG_MACH_SCB9328 is not set
+
+#
+# i.MX25 boards
+#
 # CONFIG_MACH_TX25 is not set
+
+#
+# i.MX27 boards
+#
 # CONFIG_MACH_PCA100 is not set
 # CONFIG_MACH_PCM038 is not set
+
+#
+# i.MX50 boards
+#
 # CONFIG_MACH_KINDLE_MX50 is not set
+
+#
+# i.MX51 boards
+#
 # CONFIG_MACH_CCMX51 is not set
 # CONFIG_MACH_EFIKA_MX_SMARTBOOK is not set
-# CONFIG_MACH_EMBEDSKY_E9 is not set
 # CONFIG_MACH_FREESCALE_MX51_PDK is not set
+
+#
+# i.MX53 boards
+#
 # CONFIG_MACH_CCMX53 is not set
 # CONFIG_MACH_FREESCALE_MX53_LOCO is not set
 # CONFIG_MACH_GUF_VINCELL is not set
+# CONFIG_MACH_TX53 is not set
 # CONFIG_MACH_TQMA53 is not set
 # CONFIG_MACH_FREESCALE_MX53_VMX53 is not set
-# CONFIG_MACH_TX53 is not set
-# CONFIG_MACH_PHYTEC_SOM_IMX6 is not set
-# CONFIG_MACH_PROTONIC_IMX6 is not set
-# CONFIG_MACH_PROTONIC_IMX8M is not set
-# CONFIG_MACH_INNOCOMM_WB15 is not set
-# CONFIG_MACH_KONTRON_SAMX6I is not set
-# CONFIG_MACH_DFI_FS700_M60 is not set
-# CONFIG_MACH_GUF_SANTARO is not set
+# CONFIG_MACH_ZII_RDU1 is not set
+
+#
+# i.MX6 boards
+#
+# CONFIG_MACH_ADVANTECH_ROM_742X is not set
+CONFIG_MACH_NITROGEN6=y
+# CONFIG_MACH_CM_FX6 is not set
 # CONFIG_MACH_REALQ7 is not set
-# CONFIG_MACH_GK802 is not set
+# CONFIG_MACH_DFI_FS700_M60 is not set
+# CONFIG_MACH_DIGI_CCIMX6ULSBCPRO is not set
 # CONFIG_MACH_ELTEC_HIPERCAM is not set
-# CONFIG_MACH_TQMA6X is not set
-# CONFIG_MACH_TQMA6UL is not set
-# CONFIG_MACH_TX6X is not set
+# CONFIG_MACH_EMBEDSKY_E9 is not set
+# CONFIG_MACH_EMBEST_MARSBOARD is not set
+CONFIG_MACH_EMBEST_RIOTBOARD=y
 CONFIG_MACH_SABRELITE=y
 # CONFIG_MACH_SABRESD is not set
 # CONFIG_MACH_FREESCALE_IMX6SX_SABRESDB is not set
-CONFIG_MACH_NITROGEN6=y
+# CONFIG_MACH_UDOO is not set
+CONFIG_MACH_UDOO_NEO=y
+# CONFIG_MACH_GUF_SANTARO is not set
+# CONFIG_MACH_GW_VENTANA is not set
+# CONFIG_MACH_GRINN_LITEBOARD is not set
+# CONFIG_MACH_TX6X is not set
+# CONFIG_MACH_KONTRON_SAMX6I is not set
+# CONFIG_MACH_NOVENA is not set
+# CONFIG_MACH_NXP_IMX6ULL_EVK is not set
+# CONFIG_MACH_PHYTEC_SOM_IMX6 is not set
+# CONFIG_MACH_PROTONIC_IMX6 is not set
+# CONFIG_MACH_SKOV_IMX6 is not set
 # CONFIG_MACH_SOLIDRUN_MICROSOM is not set
 # CONFIG_MACH_TECHNEXION_PICO_HOBBIT is not set
 # CONFIG_MACH_TECHNEXION_WANDBOARD is not set
-# CONFIG_MACH_EMBEST_MARSBOARD is not set
-CONFIG_MACH_EMBEST_RIOTBOARD=y
-# CONFIG_MACH_UDOO is not set
-CONFIG_MACH_UDOO_NEO=y
+# CONFIG_MACH_TQMA6X is not set
+# CONFIG_MACH_TQMA6UL is not set
 # CONFIG_MACH_VARISCITE_MX6 is not set
-# CONFIG_MACH_GW_VENTANA is not set
-# CONFIG_MACH_CM_FX6 is not set
-# CONFIG_MACH_ADVANTECH_ROM_742X is not set
-# CONFIG_MACH_WARP7 is not set
-# CONFIG_MACH_AC_SXB is not set
-# CONFIG_MACH_MEERKAT96 is not set
-# CONFIG_MACH_VF610_TWR is not set
-# CONFIG_MACH_ZII_RDU1 is not set
+# CONFIG_MACH_WEBASTO_CCBV2 is not set
+# CONFIG_MACH_GK802 is not set
 # CONFIG_MACH_ZII_RDU2 is not set
-# CONFIG_MACH_ZII_IMX8MQ_DEV is not set
-# CONFIG_MACH_ZII_VF610_DEV is not set
-# CONFIG_MACH_ZII_IMX7D_DEV is not set
-# CONFIG_MACH_PHYTEC_PHYCORE_IMX7 is not set
+
+#
+# i.MX7 boards
+#
+# CONFIG_MACH_MEERKAT96 is not set
+# CONFIG_MACH_AC_SXB is not set
+# CONFIG_MACH_WARP7 is not set
 # CONFIG_MACH_FREESCALE_MX7_SABRESD is not set
+# CONFIG_MACH_PHYTEC_PHYCORE_IMX7 is not set
+# CONFIG_MACH_ZII_IMX7D_DEV is not set
 # CONFIG_MACH_KAMSTRUP_MX7_CONCENTRATOR is not set
-# CONFIG_MACH_NXP_IMX6ULL_EVK is not set
-# CONFIG_MACH_NXP_IMX8MM_EVK is not set
-# CONFIG_MACH_NXP_IMX8MN_EVK is not set
-# CONFIG_MACH_NXP_IMX8MP_EVK is not set
-# CONFIG_MACH_NXP_IMX8MQ_EVK is not set
-# CONFIG_MACH_PHYTEC_SOM_IMX8MQ is not set
-# CONFIG_MACH_TQ_MBA8MPXL is not set
-# CONFIG_MACH_GRINN_LITEBOARD is not set
-# CONFIG_MACH_DIGI_CCIMX6ULSBCPRO is not set
-# CONFIG_MACH_WEBASTO_CCBV2 is not set
-# CONFIG_MACH_MNT_REFORM is not set
-# CONFIG_MACH_SKOV_IMX6 is not set
 
 #
-# Board specific settings
+# VF610 boards
 #
-# end of Board specific settings
+# CONFIG_MACH_VF610_TWR is not set
+# CONFIG_MACH_ZII_VF610_DEV is not set
+# end of i.MX boards
 
 #
 # i.MX specific settings
@@ -147,6 +169,9 @@ CONFIG_THUMB2_BAREBOX=y
 # CONFIG_ARM_BOARD_APPEND_ATAG is not set
 # end of System Type
 
+CONFIG_32BIT=y
+# CONFIG_64BIT is not set
+
 #
 # ARM specific settings
 #
@@ -578,6 +603,7 @@ CONFIG_PHYLIB=y
 #
 # Network drivers
 #
+# CONFIG_DRIVER_NET_ARC_EMAC is not set
 # CONFIG_DRIVER_NET_BCMGENET is not set
 # CONFIG_DRIVER_NET_DESIGNWARE_GENERIC is not set
 # CONFIG_DRIVER_NET_ENC28J60 is not set
@@ -726,6 +752,7 @@ CONFIG_USB_STORAGE=y
 # USB Miscellaneous drivers
 #
 # CONFIG_USB_HUB_USB251XB is not set
+# CONFIG_USB_ONBOARD_HUB is not set
 CONFIG_USB_GADGET=y
 CONFIG_USB_GADGET_DUALSPEED=y
 CONFIG_USB_GADGET_DRIVER_ARC=y
@@ -749,6 +776,7 @@ CONFIG_DRIVER_VIDEO_IMX_IPUV3_LVDS=y
 # CONFIG_DRIVER_VIDEO_BOCHS_ISA is not set
 # CONFIG_DRIVER_VIDEO_SIMPLEFB_CLIENT is not set
 CONFIG_DRIVER_VIDEO_SIMPLEFB=y
+# CONFIG_DRIVER_VIDEO_RAMFB is not set
 # CONFIG_DRIVER_VIDEO_EDID is not set
 # CONFIG_DRIVER_VIDEO_BACKLIGHT is not set
 
@@ -815,6 +843,7 @@ CONFIG_MFD_SYSCON=y
 # CONFIG_MFD_ATMEL_FLEXCOM is not set
 # CONFIG_MFD_RK808 is not set
 # CONFIG_MFD_AXP20X_I2C is not set
+# CONFIG_MFD_ROHM_BD718XX is not set
 # end of Multifunction device drivers
 
 #
@@ -940,6 +969,7 @@ CONFIG_HW_HAS_PCI=y
 # Firmware Drivers
 #
 # CONFIG_FIRMWARE_ALTERA_SERIAL is not set
+# CONFIG_QEMU_FW_CFG is not set
 # end of Firmware Drivers
 
 #
@@ -951,7 +981,12 @@ CONFIG_HW_HAS_PCI=y
 CONFIG_GENERIC_PHY=y
 CONFIG_USB_NOP_XCEIV=y
 # CONFIG_PHY_FSL_IMX8MQ_USB is not set
-# CONFIG_CRYPTO_HW is not set
+
+#
+# Hardware crypto devices
+#
+# CONFIG_CRYPTO_DEV_FSL_CAAM is not set
+# end of Hardware crypto devices
 
 #
 # Memory controller drivers
@@ -1088,7 +1123,7 @@ CONFIG_LODEPNG=y
 
 # CONFIG_BAREBOX_LOGO is not set
 CONFIG_PRINTF_UUID=y
-# CONFIG_NLS is not set
+CONFIG_NLS=y
 # CONFIG_BLOBGEN is not set
 CONFIG_ARCH_HAS_STACK_DUMP=y
 CONFIG_ARCH_HAS_DATA_ABORT_MASK=y
diff --git a/configs/platform-v7a/barebox-mx6.config.diff b/configs/platform-v7a/barebox-mx6.config.diff
index 0ff150f6ebbc..1ac8b558c3f1 100644
--- a/configs/platform-v7a/barebox-mx6.config.diff
+++ b/configs/platform-v7a/barebox-mx6.config.diff
@@ -1,7 +1,6 @@
-68457081af06bd8377bc38ef02c7d415
-# CONFIG_32BIT is undefined
-# CONFIG_64BIT is undefined
-# CONFIG_ARCH_BCM283X is not set
+6779f231005317170237cbdb0787cba8
+CONFIG_32BIT=y
+# CONFIG_64BIT is not set
 CONFIG_ARCH_HAS_FEC_IMX=y
 CONFIG_ARCH_HAS_IMX_GPT=y
 CONFIG_ARCH_HAS_L2X0=y
@@ -10,39 +9,54 @@ CONFIG_ARCH_IMX6SX=y
 CONFIG_ARCH_IMX=y
 CONFIG_ARCH_IMX_IMXIMAGE=y
 # CONFIG_ARCH_IMX_USBLOADER is not set
-CONFIG_ARCH_TEXT_BASE=0x4fc00000
+CONFIG_ARM_AMBA=y
 CONFIG_ARM_ASM_UNIFIED=y
-# CONFIG_ARM_SCMI_PROTOCOL is undefined
-# CONFIG_ARM_SECURE_MONITOR is undefined
-# CONFIG_ARM_SMCCC is undefined
-# CONFIG_ARM_USE_COMPRESSED_DTB is undefined
+# CONFIG_ARM_PSCI is not set
+# CONFIG_ARM_PSCI_CLIENT is not set
 CONFIG_AT803X_PHY=y
 # CONFIG_BAREBOX_LOGO is not set
+CONFIG_BAREBOX_MAX_PBL_SIZE=0xffffffff
 CONFIG_BAREBOX_UPDATE_IMX_NAND_FCB=y
 CONFIG_BCH=y
 # CONFIG_BMP is not set
+CONFIG_BOARD_ARM_GENERIC_DT=y
+CONFIG_BOARD_GENERIC_DT=y
 CONFIG_BOOTM_OFTREE_UIMAGE=y
 # CONFIG_CACHE_L2X0 is not set
-# CONFIG_CLOCKSOURCE_BCM283X is undefined
+CONFIG_CLKDEV_LOOKUP=y
+CONFIG_CLOCKSOURCE_ARM_ARCHITECTED_TIMER=y
 CONFIG_CLOCKSOURCE_IMX_GPT=y
+CONFIG_CMD_ARM_MMUINFO=y
+CONFIG_CMD_CLK=y
 # CONFIG_CMD_FBTEST is not set
 CONFIG_CMD_FCB=y
+CONFIG_CMD_GPIO=y
 # CONFIG_CMD_KEYSTORE is not set
 CONFIG_CMD_MMC_EXTCSD=y
 CONFIG_CMD_NAND=y
 # CONFIG_CMD_NANDTEST is not set
 # CONFIG_CMD_NAND_BITFLIP is not set
 # CONFIG_CMD_NVMEM is not set
-# CONFIG_CMD_SMC is undefined
 CONFIG_CMD_SPLASH=y
 CONFIG_CMD_UBI=y
 CONFIG_CMD_UBIFORMAT=y
+CONFIG_COMMON_CLK=y
+CONFIG_COMMON_CLK_OF_PROVIDER=y
 # CONFIG_CONSOLE_ACTIVATE_FIRST is not set
 CONFIG_CONSOLE_ACTIVATE_NONE=y
-# CONFIG_CPU_SUPPORTS_32BIT_KERNEL is undefined
-# CONFIG_CPU_SUPPORTS_64BIT_KERNEL is undefined
+CONFIG_CPU_32=y
+CONFIG_CPU_32v7=y
+CONFIG_CPU_SUPPORTS_32BIT_KERNEL=y
+CONFIG_CPU_SUPPORTS_64BIT_KERNEL=y
+CONFIG_CPU_V7=y
+# CONFIG_CRYPTO_DEV_FSL_CAAM is not set
 CONFIG_CRYPTO_KEYSTORE=y
 CONFIG_DEBUG_IMX_UART_PORT=1
+# CONFIG_DEBUG_LL is not set
+# CONFIG_DEFAULT_COMPRESSION_BZIP2 is undefined
+# CONFIG_DEFAULT_COMPRESSION_GZIP is undefined
+# CONFIG_DEFAULT_COMPRESSION_LZO is undefined
+# CONFIG_DEFAULT_COMPRESSION_XZ is undefined
 CONFIG_DEFAULT_ENVIRONMENT_GENERIC_NEW_DFU=y
 CONFIG_DIGEST_HMAC_GENERIC=y
 CONFIG_DISK_AHCI=y
@@ -51,10 +65,12 @@ CONFIG_DISK_ATA=y
 CONFIG_DISK_IDE_SFF=y
 CONFIG_DISK_INTF_PLATFORM_IDE=y
 CONFIG_DISK_PATA_IMX=y
-# CONFIG_DRIVER_NET_ARC_EMAC is undefined
+# CONFIG_DRIVER_NET_ARC_EMAC is not set
+# CONFIG_DRIVER_NET_DESIGNWARE_GENERIC is not set
 CONFIG_DRIVER_NET_FEC_IMX=y
 CONFIG_DRIVER_SERIAL_IMX=y
 # CONFIG_DRIVER_SPI_FSL_QUADSPI is not set
+CONFIG_DRIVER_SPI_GPIO=y
 CONFIG_DRIVER_SPI_IMX=y
 CONFIG_DRIVER_SPI_IMX_2_3=y
 # CONFIG_DRIVER_VIDEO_BACKLIGHT is not set
@@ -66,36 +82,71 @@ CONFIG_DRIVER_VIDEO_IMX_IPUV3_LVDS=y
 # CONFIG_DRIVER_VIDEO_IMX_IPUV3_PARALLEL is not set
 # CONFIG_DRIVER_VIDEO_MTL017 is not set
 # CONFIG_DRIVER_VIDEO_PANEL_ILITEK_ILI9341 is not set
+# CONFIG_DRIVER_VIDEO_RAMFB is not set
 CONFIG_DRIVER_VIDEO_SIMPLEFB=y
 # CONFIG_DRIVER_VIDEO_SIMPLEFB_CLIENT is not set
 # CONFIG_DRIVER_VIDEO_SIMPLE_PANEL is not set
 # CONFIG_EEPROM_93XX46 is not set
 CONFIG_EEPROM_AT25=y
+# CONFIG_FIRMWARE_ALTERA_SERIAL is not set
 # CONFIG_FRAMEBUFFER_CONSOLE is not set
 CONFIG_FS_UBIFS=y
 CONFIG_FS_UBIFS_COMPRESSION_LZO=y
 # CONFIG_FS_UBIFS_COMPRESSION_ZLIB is not set
 CONFIG_FS_UBIFS_COMPRESSION_ZSTD=y
+CONFIG_GENERIC_GPIO=y
 CONFIG_GENERIC_PHY=y
+CONFIG_GPIOLIB=y
+# CONFIG_GPIO_74164 is not set
+# CONFIG_GPIO_74XX_MMIO is not set
+# CONFIG_GPIO_DESIGNWARE is not set
+# CONFIG_GPIO_GENERIC_PLATFORM is not set
 CONFIG_GPIO_IMX=y
-# CONFIG_GPIO_RASPBERRYPI_EXP is undefined
+# CONFIG_GPIO_LATCH is not set
+# CONFIG_GPIO_PCA953X is not set
+# CONFIG_GPIO_PCF857X is not set
+# CONFIG_GPIO_PL061 is not set
+# CONFIG_GPIO_SIFIVE is not set
+# CONFIG_GPIO_SX150X is not set
+# CONFIG_GPIO_WATCHDOG is not set
 # CONFIG_HABV4 is not set
+CONFIG_HAS_DEBUG_LL=y
+CONFIG_HAS_DMA=y
+CONFIG_HAS_MODULES=y
+CONFIG_HAVE_CLK=y
 CONFIG_HAVE_DIGEST_HMAC=y
+CONFIG_HAVE_MOD_ARCH_SPECIFIC=y
+CONFIG_HAVE_PBL_IMAGE=y
+CONFIG_HAVE_PBL_MULTI_IMAGES=y
 # CONFIG_HWRNG is not set
 CONFIG_HW_HAS_PCI=y
-# CONFIG_I2C_BCM283X is undefined
+CONFIG_I2C_ALGOBIT=y
+CONFIG_I2C_GPIO=y
 CONFIG_I2C_IMX=y
+# CONFIG_I2C_MV64XXX is not set
+CONFIG_IMAGE_COMPRESSION=y
+# CONFIG_IMAGE_COMPRESSION_GZIP is not set
+# CONFIG_IMAGE_COMPRESSION_LZ4 is not set
+CONFIG_IMAGE_COMPRESSION_LZO=y
+# CONFIG_IMAGE_COMPRESSION_NONE is not set
+# CONFIG_IMAGE_COMPRESSION_XZKERN is not set
 CONFIG_IMAGE_RENDERER=y
 CONFIG_IMX_IIM=y
 CONFIG_IMX_IIM_FUSE_BLOW=y
-CONFIG_IMX_MULTI_BOARDS=y
 CONFIG_IMX_OCOTP=y
 # CONFIG_IMX_OCOTP_WRITE is not set
 # CONFIG_IMX_WEIM is not set
 CONFIG_INPUT=y
+# CONFIG_JTAG is not set
 CONFIG_KEYBOARD_GPIO=y
 # CONFIG_KEYBOARD_IMX_KEYPAD is not set
+# CONFIG_KEYBOARD_QT1070 is not set
+CONFIG_LED_GPIO=y
+# CONFIG_LED_GPIO_BICOLOR is not set
+CONFIG_LED_GPIO_OF=y
+# CONFIG_LED_GPIO_RGB is not set
 # CONFIG_LED_PWM is not set
+CONFIG_LIBFDT=y
 CONFIG_LIBSCAN=y
 CONFIG_LIBUBIGEN=y
 CONFIG_LODEPNG=y
@@ -121,33 +172,19 @@ CONFIG_MACH_EMBEST_RIOTBOARD=y
 # CONFIG_MACH_GUF_SANTARO is not set
 # CONFIG_MACH_GUF_VINCELL is not set
 # CONFIG_MACH_GW_VENTANA is not set
-# CONFIG_MACH_INNOCOMM_WB15 is not set
 # CONFIG_MACH_KAMSTRUP_MX7_CONCENTRATOR is not set
 # CONFIG_MACH_KINDLE_MX50 is not set
 # CONFIG_MACH_KONTRON_SAMX6I is not set
 # CONFIG_MACH_MEERKAT96 is not set
-# CONFIG_MACH_MNT_REFORM is not set
 CONFIG_MACH_NITROGEN6=y
+# CONFIG_MACH_NOVENA is not set
 # CONFIG_MACH_NXP_IMX6ULL_EVK is not set
-# CONFIG_MACH_NXP_IMX8MM_EVK is not set
-# CONFIG_MACH_NXP_IMX8MN_EVK is not set
-# CONFIG_MACH_NXP_IMX8MP_EVK is not set
-# CONFIG_MACH_NXP_IMX8MQ_EVK is not set
 # CONFIG_MACH_PCA100 is not set
 # CONFIG_MACH_PCM038 is not set
 # CONFIG_MACH_PHYTEC_PHYCORE_IMX7 is not set
 # CONFIG_MACH_PHYTEC_SOM_IMX6 is not set
-# CONFIG_MACH_PHYTEC_SOM_IMX8MQ is not set
 # CONFIG_MACH_PROTONIC_IMX6 is not set
-# CONFIG_MACH_PROTONIC_IMX8M is not set
 # CONFIG_MACH_REALQ7 is not set
-# CONFIG_MACH_RPI2 is undefined
-# CONFIG_MACH_RPI3 is undefined
-# CONFIG_MACH_RPI4 is undefined
-# CONFIG_MACH_RPI is undefined
-# CONFIG_MACH_RPI_AARCH_32_64 is undefined
-# CONFIG_MACH_RPI_CM3 is undefined
-# CONFIG_MACH_RPI_COMMON is undefined
 CONFIG_MACH_SABRELITE=y
 # CONFIG_MACH_SABRESD is not set
 # CONFIG_MACH_SCB9328 is not set
@@ -158,7 +195,6 @@ CONFIG_MACH_SABRELITE=y
 # CONFIG_MACH_TQMA53 is not set
 # CONFIG_MACH_TQMA6UL is not set
 # CONFIG_MACH_TQMA6X is not set
-# CONFIG_MACH_TQ_MBA8MPXL is not set
 # CONFIG_MACH_TX25 is not set
 # CONFIG_MACH_TX53 is not set
 # CONFIG_MACH_TX6X is not set
@@ -169,18 +205,17 @@ CONFIG_MACH_UDOO_NEO=y
 # CONFIG_MACH_WARP7 is not set
 # CONFIG_MACH_WEBASTO_CCBV2 is not set
 # CONFIG_MACH_ZII_IMX7D_DEV is not set
-# CONFIG_MACH_ZII_IMX8MQ_DEV is not set
 # CONFIG_MACH_ZII_RDU1 is not set
 # CONFIG_MACH_ZII_RDU2 is not set
 # CONFIG_MACH_ZII_VF610_DEV is not set
-# CONFIG_MCI_BCM283X is undefined
-# CONFIG_MCI_BCM283X_SDHOST is undefined
+# CONFIG_MCI_DW is not set
 CONFIG_MCI_IMX_ESDHC=y
 # CONFIG_MCI_IMX_ESDHC_PIO is not set
 # CONFIG_MCI_MMCI is not set
 CONFIG_MCI_MMC_BOOT_PARTITIONS=y
 CONFIG_MCI_SDHCI=y
 # CONFIG_MCI_STARTUP is not set
+# CONFIG_MDIO_BUS_MUX_GPIO is not set
 CONFIG_MFD_SYSCON=y
 CONFIG_MICREL_PHY=y
 CONFIG_MTD_DATAFLASH=y
@@ -208,34 +243,42 @@ CONFIG_NVMEM=y
 # CONFIG_NVMEM_REBOOT_MODE is not set
 # CONFIG_NVMEM_RMEM is not set
 # CONFIG_NVMEM_SNVS_LPGPR is not set
+CONFIG_OF_GPIO=y
 CONFIG_PARTITION_DISK_EFI=y
 CONFIG_PARTITION_DISK_EFI_GPT_COMPARE=y
 CONFIG_PARTITION_DISK_EFI_GPT_NO_FORCE=y
+# CONFIG_PBL_CONSOLE is not set
+CONFIG_PBL_IMAGE=y
+CONFIG_PBL_MULTI_IMAGES=y
 # CONFIG_PBL_OPTEE is undefined
+CONFIG_PBL_RELOCATABLE=y
 # CONFIG_PCI is not set
 # CONFIG_PCI_ECAM_GENERIC is not set
 # CONFIG_PCI_IMX6 is not set
 # CONFIG_PHY_FSL_IMX8MQ_USB is not set
 # CONFIG_PICOPNG is not set
-# CONFIG_PINCTRL_BCM283X is undefined
 CONFIG_PINCTRL_IMX_IOMUX_V3=y
 CONFIG_PNG=y
+# CONFIG_POWER_RESET_GPIO is not set
+# CONFIG_POWER_RESET_GPIO_RESTART is not set
 CONFIG_PRINTF_UUID=y
 CONFIG_PROMPT="barebox:"
 CONFIG_PWM=y
 CONFIG_PWM_IMX=y
 # CONFIG_QOI is not set
 # CONFIG_REGULATOR_ANATOP is not set
-# CONFIG_REGULATOR_BCM283X is undefined
 CONFIG_REGULATOR_FIXED=y
 # CONFIG_REGULATOR_PFUZE is not set
 CONFIG_RESET_IMX_SRC=y
+# CONFIG_SERIAL_AMBA_PL011 is not set
 # CONFIG_SPI_CADENCE_QUADSPI is not set
 CONFIG_SPI_MEM=y
 CONFIG_STMP_DEVICE=y
 # CONFIG_SYSCON_REBOOT_MODE is not set
 CONFIG_THUMB2_BAREBOX=y
 CONFIG_UBIFORMAT=y
+# CONFIG_USB_DWC3 is not set
+CONFIG_USB_EHCI=y
 CONFIG_USB_GADGET_DFU=y
 CONFIG_USB_GADGET_DRIVER_ARC=y
 CONFIG_USB_GADGET_DUALSPEED=y
@@ -245,10 +288,9 @@ CONFIG_USB_IMX_PHY=y
 CONFIG_USB_NOP_XCEIV=y
 CONFIG_USB_OTGDEV=y
 CONFIG_USB_ULPI=y
-# CONFIG_USE_COMPRESSED_DTB is undefined
+# CONFIG_USB_XHCI is not set
 CONFIG_VIDEO=y
 CONFIG_VIDEO_VPL=y
-# CONFIG_WATCHDOG_BCM2835 is undefined
 CONFIG_WATCHDOG_IMX=y
 CONFIG_WATCHDOG_IMX_RESET_SOURCE=y
 CONFIG_XXHASH=y
diff --git a/configs/platform-v7a/barebox-rpi2.config b/configs/platform-v7a/barebox-rpi2.config
index 96b416fe414a..906f5a41938c 100644
--- a/configs/platform-v7a/barebox-rpi2.config
+++ b/configs/platform-v7a/barebox-rpi2.config
@@ -1,6 +1,6 @@
 #
 # Automatically generated file; DO NOT EDIT.
-# Barebox/arm 2023.02.1 Configuration
+# Barebox/arm 2023.04.0 Configuration
 #
 CONFIG_ARM=y
 CONFIG_ARM_LINUX=y
@@ -10,32 +10,31 @@ CONFIG_TEXT_BASE=0x0
 #
 # System Type
 #
+CONFIG_ARCH_MULTIARCH=y
 # CONFIG_ARCH_AT91 is not set
-CONFIG_ARCH_BCM283X=y
 # CONFIG_ARCH_CLPS711X is not set
 # CONFIG_ARCH_DAVINCI is not set
 # CONFIG_ARCH_DIGIC is not set
 # CONFIG_ARCH_EP93XX is not set
-# CONFIG_ARCH_IMX is not set
 # CONFIG_ARCH_LAYERSCAPE is not set
 # CONFIG_ARCH_MVEBU is not set
 # CONFIG_ARCH_MXS is not set
 # CONFIG_ARCH_NOMADIK is not set
-# CONFIG_ARCH_OMAP is not set
+# CONFIG_ARCH_OMAP_SINGLE is not set
 # CONFIG_ARCH_PXA is not set
-# CONFIG_ARCH_ROCKCHIP is not set
 # CONFIG_ARCH_SOCFPGA is not set
-# CONFIG_ARCH_S3C24xx is not set
-# CONFIG_ARCH_S5PCxx is not set
-# CONFIG_ARCH_S3C64xx is not set
-# CONFIG_ARCH_STM32MP is not set
 # CONFIG_ARCH_VERSATILE is not set
-# CONFIG_ARCH_VEXPRESS is not set
 # CONFIG_ARCH_TEGRA is not set
 # CONFIG_ARCH_UEMD is not set
 # CONFIG_ARCH_ZYNQ is not set
-# CONFIG_ARCH_ZYNQMP is not set
 # CONFIG_ARCH_ARM64_VIRT is not set
+CONFIG_ARCH_BCM283X=y
+# CONFIG_ARCH_IMX is not set
+# CONFIG_ARCH_OMAP_MULTI is not set
+# CONFIG_ARCH_ROCKCHIP is not set
+# CONFIG_ARCH_STM32MP is not set
+# CONFIG_ARCH_VEXPRESS is not set
+# CONFIG_ARCH_ZYNQMP is not set
 
 #
 # Processor Type
@@ -601,6 +600,7 @@ CONFIG_USB_STORAGE=y
 # USB Miscellaneous drivers
 #
 # CONFIG_USB_HUB_USB251XB is not set
+# CONFIG_USB_ONBOARD_HUB is not set
 # CONFIG_USB_GADGET is not set
 # CONFIG_USB_MUSB is not set
 # CONFIG_VIDEO is not set
@@ -660,6 +660,7 @@ CONFIG_CLOCKSOURCE_ARM_ARCHITECTED_TIMER=y
 # CONFIG_MFD_ATMEL_FLEXCOM is not set
 # CONFIG_MFD_RK808 is not set
 # CONFIG_MFD_AXP20X_I2C is not set
+# CONFIG_MFD_ROHM_BD718XX is not set
 # end of Multifunction device drivers
 
 #
@@ -766,6 +767,7 @@ CONFIG_REGULATOR_BCM283X=y
 #
 # CONFIG_FIRMWARE_ALTERA_SERIAL is not set
 # CONFIG_ARM_SCMI_PROTOCOL is not set
+# CONFIG_QEMU_FW_CFG is not set
 # end of Firmware Drivers
 
 #
@@ -777,7 +779,11 @@ CONFIG_REGULATOR_BCM283X=y
 CONFIG_GENERIC_PHY=y
 CONFIG_USB_NOP_XCEIV=y
 # CONFIG_PHY_FSL_IMX8MQ_USB is not set
-# CONFIG_CRYPTO_HW is not set
+
+#
+# Hardware crypto devices
+#
+# end of Hardware crypto devices
 
 #
 # Memory controller drivers
@@ -895,7 +901,7 @@ CONFIG_LIBFDT=y
 #
 # end of Library gui routines
 
-# CONFIG_NLS is not set
+CONFIG_NLS=y
 # CONFIG_BLOBGEN is not set
 CONFIG_ARCH_HAS_STACK_DUMP=y
 CONFIG_ARCH_HAS_DATA_ABORT_MASK=y
diff --git a/configs/platform-v7a/barebox-rpi2.config.diff b/configs/platform-v7a/barebox-rpi2.config.diff
index 852c2717059c..2dca7de9fe1d 100644
--- a/configs/platform-v7a/barebox-rpi2.config.diff
+++ b/configs/platform-v7a/barebox-rpi2.config.diff
@@ -1,44 +1,133 @@
-68457081af06bd8377bc38ef02c7d415
+6779f231005317170237cbdb0787cba8
+CONFIG_32BIT=y
+# CONFIG_64BIT is not set
+CONFIG_ARCH_BCM283X=y
+CONFIG_ARCH_TEXT_BASE=0x0
+CONFIG_ARM_AMBA=y
 CONFIG_ARM_ASM_UNIFIED=y
+# CONFIG_ARM_PSCI is not set
+# CONFIG_ARM_PSCI_CLIENT is not set
+# CONFIG_ARM_SCMI_PROTOCOL is not set
+CONFIG_ARM_SECURE_MONITOR=y
+CONFIG_ARM_SMCCC=y
+CONFIG_ARM_USE_COMPRESSED_DTB=y
+CONFIG_BAREBOX_MAX_PBL_SIZE=0xffffffff
+CONFIG_BOARD_ARM_GENERIC_DT=y
+CONFIG_BOARD_GENERIC_DT=y
+CONFIG_CLKDEV_LOOKUP=y
+CONFIG_CLOCKSOURCE_ARM_ARCHITECTED_TIMER=y
+CONFIG_CLOCKSOURCE_BCM283X=y
+CONFIG_CMD_ARM_MMUINFO=y
+CONFIG_CMD_CLK=y
+CONFIG_CMD_GPIO=y
 # CONFIG_CMD_NVMEM is not set
+# CONFIG_CMD_SMC is not set
 # CONFIG_CMD_USBGADGET is undefined
+CONFIG_COMMON_CLK=y
+CONFIG_COMMON_CLK_OF_PROVIDER=y
+CONFIG_CPU_32=y
+CONFIG_CPU_32v7=y
+CONFIG_CPU_SUPPORTS_32BIT_KERNEL=y
+CONFIG_CPU_SUPPORTS_64BIT_KERNEL=y
+CONFIG_CPU_V7=y
+# CONFIG_DEBUG_LL is not set
+# CONFIG_DEFAULT_COMPRESSION_BZIP2 is undefined
+# CONFIG_DEFAULT_COMPRESSION_GZIP is undefined
+# CONFIG_DEFAULT_COMPRESSION_LZO is undefined
+# CONFIG_DEFAULT_COMPRESSION_XZ is undefined
+# CONFIG_DISK_AHCI is not set
+# CONFIG_DRIVER_NET_ARC_EMAC is not set
 CONFIG_DRIVER_NET_BCMGENET=y
+# CONFIG_DRIVER_NET_DESIGNWARE_GENERIC is not set
 CONFIG_DRIVER_SERIAL_NS16550=y
+CONFIG_DRIVER_SPI_GPIO=y
 # CONFIG_EEPROM_93XX46 is not set
 # CONFIG_FASTBOOT_BASE is undefined
 # CONFIG_FASTBOOT_CMD_OEM is undefined
 # CONFIG_FASTBOOT_SPARSE is undefined
+# CONFIG_FIRMWARE_ALTERA_SERIAL is not set
+CONFIG_GENERIC_GPIO=y
 CONFIG_GENERIC_PHY=y
+CONFIG_GPIOLIB=y
+# CONFIG_GPIO_74164 is not set
+# CONFIG_GPIO_74XX_MMIO is not set
+# CONFIG_GPIO_DESIGNWARE is not set
+# CONFIG_GPIO_GENERIC_PLATFORM is not set
+# CONFIG_GPIO_LATCH is not set
+# CONFIG_GPIO_PCA953X is not set
+# CONFIG_GPIO_PCF857X is not set
+# CONFIG_GPIO_PL061 is not set
 CONFIG_GPIO_RASPBERRYPI_EXP=y
+# CONFIG_GPIO_SIFIVE is not set
+# CONFIG_GPIO_SX150X is not set
+# CONFIG_GPIO_WATCHDOG is not set
+CONFIG_HAS_DEBUG_LL=y
+CONFIG_HAS_DMA=y
+CONFIG_HAS_MODULES=y
+CONFIG_HAVE_CLK=y
+CONFIG_HAVE_MOD_ARCH_SPECIFIC=y
+CONFIG_HAVE_PBL_IMAGE=y
+CONFIG_HAVE_PBL_MULTI_IMAGES=y
 # CONFIG_HWRNG is not set
-# CONFIG_I2C_ALGOBIT is undefined
+CONFIG_I2C_BCM283X=y
 # CONFIG_I2C_GPIO is not set
+# CONFIG_I2C_MV64XXX is not set
+CONFIG_IMAGE_COMPRESSION=y
+# CONFIG_IMAGE_COMPRESSION_GZIP is not set
+# CONFIG_IMAGE_COMPRESSION_LZ4 is not set
+CONFIG_IMAGE_COMPRESSION_LZO=y
+# CONFIG_IMAGE_COMPRESSION_NONE is not set
+# CONFIG_IMAGE_COMPRESSION_XZKERN is not set
 # CONFIG_IMAGE_SPARSE is undefined
+# CONFIG_JTAG is not set
+# CONFIG_KEYBOARD_GPIO is not set
+# CONFIG_KEYBOARD_QT1070 is not set
+CONFIG_LED_GPIO=y
+# CONFIG_LED_GPIO_BICOLOR is not set
+CONFIG_LED_GPIO_OF=y
+# CONFIG_LED_GPIO_RGB is not set
+CONFIG_LIBFDT=y
 CONFIG_MACH_RPI2=y
+CONFIG_MACH_RPI3=y
 CONFIG_MACH_RPI4=y
+# CONFIG_MACH_RPI is not set
+CONFIG_MACH_RPI_AARCH_32_64=y
 CONFIG_MACH_RPI_CM3=y
+CONFIG_MACH_RPI_COMMON=y
 CONFIG_MCI_BCM283X=y
 CONFIG_MCI_BCM283X_SDHOST=y
+# CONFIG_MCI_DW is not set
 # CONFIG_MCI_MMCI is not set
 CONFIG_MCI_MMC_BOOT_PARTITIONS=y
 CONFIG_MCI_SDHCI=y
 # CONFIG_MCI_STARTUP is not set
+# CONFIG_MDIO_BUS_MUX_GPIO is not set
 CONFIG_NET_NETCONSOLE=y
 # CONFIG_NET_NFS is not set
 CONFIG_NVMEM=y
 # CONFIG_NVMEM_REBOOT_MODE is not set
 # CONFIG_NVMEM_RMEM is not set
 # CONFIG_NVMEM_SNVS_LPGPR is not set
+CONFIG_OF_GPIO=y
+# CONFIG_PBL_CONSOLE is not set
+CONFIG_PBL_IMAGE=y
+CONFIG_PBL_MULTI_IMAGES=y
 # CONFIG_PBL_OPTEE is undefined
+CONFIG_PBL_RELOCATABLE=y
 # CONFIG_PHY_FSL_IMX8MQ_USB is not set
 CONFIG_PINCTRL_BCM283X=y
+# CONFIG_POWER_RESET_GPIO is not set
+# CONFIG_POWER_RESET_GPIO_RESTART is not set
 CONFIG_PROMPT="R-Pi> "
+CONFIG_REGULATOR_BCM283X=y
+# CONFIG_REGULATOR_FIXED is not set
 CONFIG_SERIAL_AMBA_PL011=y
 CONFIG_THUMB2_BAREBOX=y
 # CONFIG_USBGADGET_START is undefined
 CONFIG_USB_DWC2=y
 # CONFIG_USB_DWC2_GADGET is undefined
 CONFIG_USB_DWC2_HOST=y
+# CONFIG_USB_DWC3 is not set
 # CONFIG_USB_EHCI is not set
 # CONFIG_USB_GADGET is not set
 # CONFIG_USB_GADGET_AUTOSTART is undefined
@@ -48,4 +137,6 @@ CONFIG_USB_DWC2_HOST=y
 # CONFIG_USB_GADGET_SERIAL is undefined
 CONFIG_USB_NOP_XCEIV=y
 CONFIG_USB_OTGDEV=y
+# CONFIG_USB_XHCI is not set
+CONFIG_USE_COMPRESSED_DTB=y
 CONFIG_WATCHDOG_BCM2835=y
diff --git a/configs/platform-v7a/barebox-stm32mp.config b/configs/platform-v7a/barebox-stm32mp.config
index 8a6f6d9474d2..bfffbc9c04a1 100644
--- a/configs/platform-v7a/barebox-stm32mp.config
+++ b/configs/platform-v7a/barebox-stm32mp.config
@@ -1,6 +1,6 @@
 #
 # Automatically generated file; DO NOT EDIT.
-# Barebox/arm 2023.02.1 Configuration
+# Barebox/arm 2023.04.0 Configuration
 #
 CONFIG_ARM=y
 CONFIG_ARM_LINUX=y
@@ -11,32 +11,31 @@ CONFIG_TEXT_BASE=0x0
 # System Type
 #
 CONFIG_ARCH_STM32=y
+CONFIG_ARCH_MULTIARCH=y
 # CONFIG_ARCH_AT91 is not set
-# CONFIG_ARCH_BCM283X is not set
 # CONFIG_ARCH_CLPS711X is not set
 # CONFIG_ARCH_DAVINCI is not set
 # CONFIG_ARCH_DIGIC is not set
 # CONFIG_ARCH_EP93XX is not set
-# CONFIG_ARCH_IMX is not set
 # CONFIG_ARCH_LAYERSCAPE is not set
 # CONFIG_ARCH_MVEBU is not set
 # CONFIG_ARCH_MXS is not set
 # CONFIG_ARCH_NOMADIK is not set
-# CONFIG_ARCH_OMAP is not set
+# CONFIG_ARCH_OMAP_SINGLE is not set
 # CONFIG_ARCH_PXA is not set
-# CONFIG_ARCH_ROCKCHIP is not set
 # CONFIG_ARCH_SOCFPGA is not set
-# CONFIG_ARCH_S3C24xx is not set
-# CONFIG_ARCH_S5PCxx is not set
-# CONFIG_ARCH_S3C64xx is not set
-CONFIG_ARCH_STM32MP=y
 # CONFIG_ARCH_VERSATILE is not set
-# CONFIG_ARCH_VEXPRESS is not set
 # CONFIG_ARCH_TEGRA is not set
 # CONFIG_ARCH_UEMD is not set
 # CONFIG_ARCH_ZYNQ is not set
-# CONFIG_ARCH_ZYNQMP is not set
 # CONFIG_ARCH_ARM64_VIRT is not set
+# CONFIG_ARCH_BCM283X is not set
+# CONFIG_ARCH_IMX is not set
+# CONFIG_ARCH_OMAP_MULTI is not set
+# CONFIG_ARCH_ROCKCHIP is not set
+CONFIG_ARCH_STM32MP=y
+# CONFIG_ARCH_VEXPRESS is not set
+# CONFIG_ARCH_ZYNQMP is not set
 
 #
 # Processor Type
@@ -576,6 +575,7 @@ CONFIG_USB_OTGDEV=y
 # USB Miscellaneous drivers
 #
 # CONFIG_USB_HUB_USB251XB is not set
+# CONFIG_USB_ONBOARD_HUB is not set
 CONFIG_USB_GADGET=y
 # CONFIG_USB_GADGET_AUTOSTART is not set
 
@@ -642,6 +642,7 @@ CONFIG_MFD_STM32_TIMERS=y
 # CONFIG_MFD_ATMEL_FLEXCOM is not set
 # CONFIG_MFD_RK808 is not set
 # CONFIG_MFD_AXP20X_I2C is not set
+# CONFIG_MFD_ROHM_BD718XX is not set
 # end of Multifunction device drivers
 
 #
@@ -754,6 +755,7 @@ CONFIG_RESET_CONTROLLER=y
 # Firmware Drivers
 #
 # CONFIG_ARM_SCMI_PROTOCOL is not set
+# CONFIG_QEMU_FW_CFG is not set
 # end of Firmware Drivers
 
 #
@@ -766,7 +768,11 @@ CONFIG_GENERIC_PHY=y
 # CONFIG_USB_NOP_XCEIV is not set
 # CONFIG_PHY_FSL_IMX8MQ_USB is not set
 CONFIG_PHY_STM32_USBPHYC=y
-# CONFIG_CRYPTO_HW is not set
+
+#
+# Hardware crypto devices
+#
+# end of Hardware crypto devices
 
 #
 # Memory controller drivers
@@ -879,7 +885,7 @@ CONFIG_CRC8=y
 # end of Library gui routines
 
 CONFIG_PRINTF_UUID=y
-# CONFIG_NLS is not set
+CONFIG_NLS=y
 # CONFIG_BLOBGEN is not set
 CONFIG_ARCH_HAS_STACK_DUMP=y
 CONFIG_ARCH_HAS_DATA_ABORT_MASK=y
diff --git a/configs/platform-v7a/barebox-stm32mp.config.diff b/configs/platform-v7a/barebox-stm32mp.config.diff
index 42950765f911..357e35affd08 100644
--- a/configs/platform-v7a/barebox-stm32mp.config.diff
+++ b/configs/platform-v7a/barebox-stm32mp.config.diff
@@ -1,90 +1,123 @@
-68457081af06bd8377bc38ef02c7d415
-# CONFIG_32BIT is undefined
-# CONFIG_64BIT is undefined
-# CONFIG_ARCH_BCM283X is not set
+6779f231005317170237cbdb0787cba8
 CONFIG_ARCH_HAS_RESET_CONTROLLER=y
 CONFIG_ARCH_NR_GPIO=416
 CONFIG_ARCH_STM32=y
 CONFIG_ARCH_STM32MP157=y
 CONFIG_ARCH_STM32MP=y
-# CONFIG_ARCH_TEXT_BASE is undefined
+CONFIG_ARM_AMBA=y
 CONFIG_ARM_ASM_UNIFIED=y
 CONFIG_ARM_BOARD_APPEND_ATAG=y
 # CONFIG_ARM_BOARD_PREPEND_ATAG is not set
+# CONFIG_ARM_PSCI is not set
 CONFIG_ARM_PSCI_CLIENT=y
 CONFIG_ARM_PSCI_OF=y
-# CONFIG_ARM_SECURE_MONITOR is undefined
+# CONFIG_ARM_SCMI_PROTOCOL is not set
+CONFIG_ARM_SMCCC=y
+CONFIG_ARM_USE_COMPRESSED_DTB=y
 CONFIG_AT803X_PHY=y
+CONFIG_BAREBOX_MAX_PBL_SIZE=0xffffffff
 # CONFIG_BOARD_ARM_GENERIC_DT is not set
-# CONFIG_BOARD_GENERIC_DT is undefined
 CONFIG_BOOTM_OFTREE_UIMAGE=y
 # CONFIG_BZLIB is not set
+CONFIG_CLKDEV_LOOKUP=y
 # CONFIG_CLKSRC_STM32 is not set
-# CONFIG_CLOCKSOURCE_BCM283X is undefined
+CONFIG_CLOCKSOURCE_ARM_ARCHITECTED_TIMER=y
+CONFIG_CMD_ARM_MMUINFO=y
 # CONFIG_CMD_BOOTZ is not set
+CONFIG_CMD_CLK=y
 # CONFIG_CMD_DEFAULTENV is not set
+CONFIG_CMD_GPIO=y
 # CONFIG_CMD_I2C is not set
 # CONFIG_CMD_LED_TRIGGER is undefined
 CONFIG_CMD_MENU_MANAGEMENT=y
 CONFIG_CMD_MMC_EXTCSD=y
 # CONFIG_CMD_NVMEM is not set
 CONFIG_CMD_POWEROFF=y
+# CONFIG_CMD_SMC is not set
 # CONFIG_CMD_SPI is undefined
+CONFIG_COMMON_CLK=y
+CONFIG_COMMON_CLK_OF_PROVIDER=y
 CONFIG_COMPILE_LOGLEVEL=6
 # CONFIG_CONSOLE_ACTIVATE_FIRST is not set
 CONFIG_CONSOLE_ACTIVATE_NONE=y
-# CONFIG_CPU_SUPPORTS_32BIT_KERNEL is undefined
-# CONFIG_CPU_SUPPORTS_64BIT_KERNEL is undefined
+CONFIG_CPU_32=y
+CONFIG_CPU_32v7=y
+CONFIG_CPU_V7=y
 CONFIG_CRC8=y
+# CONFIG_DEBUG_LL is not set
 # CONFIG_DEBUG_PBL is not set
+# CONFIG_DEFAULT_COMPRESSION_BZIP2 is undefined
+# CONFIG_DEFAULT_COMPRESSION_GZIP is undefined
+# CONFIG_DEFAULT_COMPRESSION_LZO is undefined
+# CONFIG_DEFAULT_COMPRESSION_XZ is undefined
 CONFIG_DEFAULT_LOGLEVEL=7
+# CONFIG_DISK_AHCI is not set
 # CONFIG_DRIVER_CFI is undefined
-# CONFIG_DRIVER_NET_ARC_EMAC is undefined
 CONFIG_DRIVER_NET_DESIGNWARE_EQOS=y
+# CONFIG_DRIVER_NET_DESIGNWARE_GENERIC is not set
 CONFIG_DRIVER_NET_DESIGNWARE_STM32=y
 # CONFIG_DRIVER_NET_ENC28J60 is undefined
 # CONFIG_DRIVER_NET_MICREL is undefined
 CONFIG_DRIVER_SERIAL_STM32=y
-# CONFIG_DRIVER_SPI_GPIO is undefined
 # CONFIG_DRIVER_SPI_LITEX_SPIFLASH is undefined
 CONFIG_EEPROM_AT24=y
 # CONFIG_EEPROM_AT25 is undefined
 # CONFIG_FASTBOOT_CMD_OEM is not set
 # CONFIG_FASTBOOT_SPARSE is not set
-# CONFIG_FIRMWARE_ALTERA_SERIAL is undefined
 # CONFIG_FS_JFFS2 is undefined
+CONFIG_GENERIC_GPIO=y
 CONFIG_GENERIC_PHY=y
-# CONFIG_GPIO_74164 is undefined
-# CONFIG_GPIO_RASPBERRYPI_EXP is undefined
+CONFIG_GPIOLIB=y
+# CONFIG_GPIO_74XX_MMIO is not set
+# CONFIG_GPIO_DESIGNWARE is not set
+# CONFIG_GPIO_GENERIC_PLATFORM is not set
+# CONFIG_GPIO_LATCH is not set
+# CONFIG_GPIO_PCA953X is not set
+# CONFIG_GPIO_PCF857X is not set
+# CONFIG_GPIO_PL061 is not set
+# CONFIG_GPIO_SIFIVE is not set
+# CONFIG_GPIO_SX150X is not set
+# CONFIG_GPIO_WATCHDOG is not set
+CONFIG_HAS_DEBUG_LL=y
+CONFIG_HAS_DMA=y
+CONFIG_HAS_MODULES=y
+CONFIG_HAVE_CLK=y
+CONFIG_HAVE_MOD_ARCH_SPECIFIC=y
+CONFIG_HAVE_PBL_IMAGE=y
+CONFIG_HAVE_PBL_MULTI_IMAGES=y
 # CONFIG_HWRNG is not set
-# CONFIG_I2C_ALGOBIT is undefined
-# CONFIG_I2C_BCM283X is undefined
 # CONFIG_I2C_GPIO is not set
+# CONFIG_I2C_MV64XXX is not set
 CONFIG_I2C_STM32=y
+CONFIG_IMAGE_COMPRESSION=y
+# CONFIG_IMAGE_COMPRESSION_GZIP is not set
+# CONFIG_IMAGE_COMPRESSION_LZ4 is not set
+CONFIG_IMAGE_COMPRESSION_LZO=y
+# CONFIG_IMAGE_COMPRESSION_NONE is not set
+# CONFIG_IMAGE_COMPRESSION_XZKERN is not set
 # CONFIG_IMAGE_SPARSE is undefined
+# CONFIG_JTAG is not set
+# CONFIG_KEYBOARD_GPIO is not set
+# CONFIG_KEYBOARD_QT1070 is not set
+CONFIG_LED_GPIO=y
+# CONFIG_LED_GPIO_BICOLOR is not set
+CONFIG_LED_GPIO_OF=y
+# CONFIG_LED_GPIO_RGB is not set
 CONFIG_LED_PWM=y
 # CONFIG_LED_TRIGGERS is not set
-# CONFIG_LIBFDT is undefined
 CONFIG_MACH_LXA_MC1=y
 # CONFIG_MACH_PHYTEC_PHYCORE_STM32MP1 is not set
 # CONFIG_MACH_PROTONIC_STM32MP1 is not set
-# CONFIG_MACH_RPI2 is undefined
-# CONFIG_MACH_RPI3 is undefined
-# CONFIG_MACH_RPI4 is undefined
-# CONFIG_MACH_RPI is undefined
-# CONFIG_MACH_RPI_AARCH_32_64 is undefined
-# CONFIG_MACH_RPI_CM3 is undefined
-# CONFIG_MACH_RPI_COMMON is undefined
 # CONFIG_MACH_SEEED_ODYSSEY is not set
 # CONFIG_MACH_STM32MP13XX_DK is not set
 CONFIG_MACH_STM32MP15XX_DKX=y
 CONFIG_MACH_STM32MP15X_EV1=y
-# CONFIG_MCI_BCM283X is undefined
-# CONFIG_MCI_BCM283X_SDHOST is undefined
+# CONFIG_MCI_DW is not set
 # CONFIG_MCI_MMCI is not set
 CONFIG_MCI_MMC_BOOT_PARTITIONS=y
 # CONFIG_MCI_SPI is undefined
 CONFIG_MCI_STM32_SDMMC2=y
+# CONFIG_MDIO_BUS_MUX_GPIO is not set
 CONFIG_MFD_STM32_TIMERS=y
 CONFIG_MFD_STPMIC1=y
 CONFIG_MFD_SYSCON=y
@@ -112,15 +145,20 @@ CONFIG_NVMEM=y
 # CONFIG_NVMEM_REBOOT_MODE is not set
 # CONFIG_NVMEM_RMEM is not set
 # CONFIG_NVMEM_SNVS_LPGPR is not set
+CONFIG_OF_GPIO=y
 CONFIG_PARTITION_DISK_EFI=y
 # CONFIG_PARTITION_DISK_EFI_GPT_COMPARE is not set
 # CONFIG_PARTITION_DISK_EFI_GPT_NO_FORCE is not set
 CONFIG_PBL_CONSOLE=y
+CONFIG_PBL_IMAGE=y
+CONFIG_PBL_MULTI_IMAGES=y
 # CONFIG_PBL_OPTEE is undefined
+CONFIG_PBL_RELOCATABLE=y
 # CONFIG_PHY_FSL_IMX8MQ_USB is not set
 CONFIG_PHY_STM32_USBPHYC=y
-# CONFIG_PINCTRL_BCM283X is undefined
 CONFIG_PINCTRL_STM32=y
+# CONFIG_POWER_RESET_GPIO is not set
+# CONFIG_POWER_RESET_GPIO_RESTART is not set
 CONFIG_PRINTF_UUID=y
 CONFIG_PROMPT="barebox:"
 CONFIG_PWM=y
@@ -128,7 +166,6 @@ CONFIG_PWM_STM32=y
 CONFIG_REGMAP_FORMATTED=y
 CONFIG_REGMAP_I2C=y
 # CONFIG_REGULATOR_ANATOP is not set
-# CONFIG_REGULATOR_BCM283X is undefined
 CONFIG_REGULATOR_FIXED=y
 CONFIG_REGULATOR_STM32_PWR=y
 CONFIG_REGULATOR_STM32_VREFBUF=y
@@ -137,6 +174,7 @@ CONFIG_REMOTEPROC=y
 CONFIG_RESET_CONTROLLER=y
 # CONFIG_RESET_IMX7 is not set
 CONFIG_RESET_STM32=y
+# CONFIG_SERIAL_AMBA_PL011 is not set
 # CONFIG_SPI is not set
 # CONFIG_SPI_MEM is undefined
 CONFIG_STM32_BSEC=y
@@ -150,13 +188,15 @@ CONFIG_THUMB2_BAREBOX=y
 CONFIG_USB_DWC2=y
 CONFIG_USB_DWC2_GADGET=y
 CONFIG_USB_DWC2_HOST=y
+# CONFIG_USB_DWC3 is not set
 # CONFIG_USB_EHCI is not set
 # CONFIG_USB_GADGET_AUTOSTART is not set
 # CONFIG_USB_NET_AX88179_178A is undefined
 # CONFIG_USB_NOP_XCEIV is not set
 CONFIG_USB_OTGDEV=y
 # CONFIG_USB_STORAGE is not set
-# CONFIG_WATCHDOG_BCM2835 is undefined
+# CONFIG_USB_XHCI is not set
+CONFIG_USE_COMPRESSED_DTB=y
 CONFIG_WATCHDOG_POLLER=y
 # CONFIG_XZ_DECOMPRESS is not set
 # CONFIG_XZ_DEC_ARM is undefined
diff --git a/configs/platform-v7a/barebox-vexpress.config b/configs/platform-v7a/barebox-vexpress.config
index 80d446ceccd1..a27df44a34da 100644
--- a/configs/platform-v7a/barebox-vexpress.config
+++ b/configs/platform-v7a/barebox-vexpress.config
@@ -1,6 +1,6 @@
 #
 # Automatically generated file; DO NOT EDIT.
-# Barebox/arm 2023.02.1 Configuration
+# Barebox/arm 2023.04.0 Configuration
 #
 CONFIG_ARM=y
 CONFIG_ARM_LINUX=y
@@ -9,32 +9,31 @@ CONFIG_TEXT_BASE=0x0
 #
 # System Type
 #
+CONFIG_ARCH_MULTIARCH=y
 # CONFIG_ARCH_AT91 is not set
-# CONFIG_ARCH_BCM283X is not set
 # CONFIG_ARCH_CLPS711X is not set
 # CONFIG_ARCH_DAVINCI is not set
 # CONFIG_ARCH_DIGIC is not set
 # CONFIG_ARCH_EP93XX is not set
-# CONFIG_ARCH_IMX is not set
 # CONFIG_ARCH_LAYERSCAPE is not set
 # CONFIG_ARCH_MVEBU is not set
 # CONFIG_ARCH_MXS is not set
 # CONFIG_ARCH_NOMADIK is not set
-# CONFIG_ARCH_OMAP is not set
+# CONFIG_ARCH_OMAP_SINGLE is not set
 # CONFIG_ARCH_PXA is not set
-# CONFIG_ARCH_ROCKCHIP is not set
 # CONFIG_ARCH_SOCFPGA is not set
-# CONFIG_ARCH_S3C24xx is not set
-# CONFIG_ARCH_S5PCxx is not set
-# CONFIG_ARCH_S3C64xx is not set
-# CONFIG_ARCH_STM32MP is not set
 # CONFIG_ARCH_VERSATILE is not set
-CONFIG_ARCH_VEXPRESS=y
 # CONFIG_ARCH_TEGRA is not set
 # CONFIG_ARCH_UEMD is not set
 # CONFIG_ARCH_ZYNQ is not set
-# CONFIG_ARCH_ZYNQMP is not set
 # CONFIG_ARCH_ARM64_VIRT is not set
+# CONFIG_ARCH_BCM283X is not set
+# CONFIG_ARCH_IMX is not set
+# CONFIG_ARCH_OMAP_MULTI is not set
+# CONFIG_ARCH_ROCKCHIP is not set
+# CONFIG_ARCH_STM32MP is not set
+CONFIG_ARCH_VEXPRESS=y
+# CONFIG_ARCH_ZYNQMP is not set
 
 #
 # Processor Type
@@ -588,6 +587,7 @@ CONFIG_USB_STORAGE=y
 # USB Miscellaneous drivers
 #
 # CONFIG_USB_HUB_USB251XB is not set
+# CONFIG_USB_ONBOARD_HUB is not set
 CONFIG_USB_GADGET=y
 CONFIG_USB_GADGET_AUTOSTART=y
 
@@ -653,6 +653,7 @@ CONFIG_CLOCKSOURCE_ARM_ARCHITECTED_TIMER=y
 # CONFIG_MFD_ATMEL_FLEXCOM is not set
 # CONFIG_MFD_RK808 is not set
 # CONFIG_MFD_AXP20X_I2C is not set
+# CONFIG_MFD_ROHM_BD718XX is not set
 # end of Multifunction device drivers
 
 #
@@ -724,6 +725,7 @@ CONFIG_REGULATOR=y
 #
 # Firmware Drivers
 #
+# CONFIG_QEMU_FW_CFG is not set
 # end of Firmware Drivers
 
 #
@@ -733,7 +735,11 @@ CONFIG_REGULATOR=y
 # end of FPGA Configuration Support
 
 # CONFIG_GENERIC_PHY is not set
-# CONFIG_CRYPTO_HW is not set
+
+#
+# Hardware crypto devices
+#
+# end of Hardware crypto devices
 
 #
 # Memory controller drivers
@@ -849,7 +855,7 @@ CONFIG_LIBFDT=y
 #
 # end of Library gui routines
 
-# CONFIG_NLS is not set
+CONFIG_NLS=y
 # CONFIG_BLOBGEN is not set
 CONFIG_ARCH_HAS_STACK_DUMP=y
 CONFIG_ARCH_HAS_DATA_ABORT_MASK=y
diff --git a/configs/platform-v7a/barebox-vexpress.config.diff b/configs/platform-v7a/barebox-vexpress.config.diff
index abbea1a621ce..e4ecc99b815f 100644
--- a/configs/platform-v7a/barebox-vexpress.config.diff
+++ b/configs/platform-v7a/barebox-vexpress.config.diff
@@ -1,22 +1,32 @@
-68457081af06bd8377bc38ef02c7d415
-# CONFIG_32BIT is undefined
-# CONFIG_64BIT is undefined
+6779f231005317170237cbdb0787cba8
 CONFIG_AMBA_SP804=y
-# CONFIG_ARCH_BCM283X is not set
+CONFIG_ARCH_TEXT_BASE=0x0
 CONFIG_ARCH_VEXPRESS=y
-# CONFIG_ARM_SCMI_PROTOCOL is undefined
-# CONFIG_ARM_SECURE_MONITOR is undefined
-# CONFIG_ARM_SMCCC is undefined
-# CONFIG_ARM_USE_COMPRESSED_DTB is undefined
+CONFIG_ARM_AMBA=y
+# CONFIG_ARM_PSCI is not set
+# CONFIG_ARM_PSCI_CLIENT is not set
+CONFIG_BAREBOX_MAX_PBL_SIZE=0xffffffff
+CONFIG_BOARD_ARM_GENERIC_DT=y
+CONFIG_BOARD_GENERIC_DT=y
 # CONFIG_CFI_BUFFER_WRITE is not set
-# CONFIG_CLOCKSOURCE_BCM283X is undefined
-# CONFIG_CMD_GPIO is undefined
-# CONFIG_CMD_SMC is undefined
+CONFIG_CLKDEV_LOOKUP=y
+CONFIG_CLOCKSOURCE_ARM_ARCHITECTED_TIMER=y
+CONFIG_CMD_ARM_MMUINFO=y
+CONFIG_CMD_CLK=y
+CONFIG_COMMON_CLK=y
+CONFIG_COMMON_CLK_OF_PROVIDER=y
 CONFIG_CONSOLE_ACTIVATE_ALL=y
 # CONFIG_CONSOLE_ACTIVATE_FIRST is not set
-# CONFIG_CPU_SUPPORTS_32BIT_KERNEL is undefined
-# CONFIG_CPU_SUPPORTS_64BIT_KERNEL is undefined
+CONFIG_CPU_32=y
+CONFIG_CPU_32v7=y
+CONFIG_CPU_V7=y
+# CONFIG_DEBUG_LL is not set
 # CONFIG_DEBUG_PBL is not set
+# CONFIG_DEFAULT_COMPRESSION_BZIP2 is undefined
+# CONFIG_DEFAULT_COMPRESSION_GZIP is undefined
+# CONFIG_DEFAULT_COMPRESSION_LZO is undefined
+# CONFIG_DEFAULT_COMPRESSION_XZ is undefined
+# CONFIG_DISK_AHCI is not set
 CONFIG_DRIVER_CFI=y
 CONFIG_DRIVER_CFI_AMD=y
 CONFIG_DRIVER_CFI_BANK_WIDTH_1=y
@@ -24,56 +34,36 @@ CONFIG_DRIVER_CFI_BANK_WIDTH_2=y
 CONFIG_DRIVER_CFI_BANK_WIDTH_4=y
 # CONFIG_DRIVER_CFI_BANK_WIDTH_8 is not set
 CONFIG_DRIVER_CFI_INTEL=y
-# CONFIG_DRIVER_NET_ARC_EMAC is undefined
+# CONFIG_DRIVER_NET_DESIGNWARE_GENERIC is not set
 CONFIG_DRIVER_NET_SMC911X=y
-# CONFIG_DRIVER_SPI_GPIO is undefined
-# CONFIG_FIRMWARE_ALTERA_SERIAL is undefined
-# CONFIG_GENERIC_GPIO is undefined
-# CONFIG_GPIOLIB is undefined
-# CONFIG_GPIO_74164 is undefined
-# CONFIG_GPIO_74XX_MMIO is undefined
-# CONFIG_GPIO_DESIGNWARE is undefined
-# CONFIG_GPIO_GENERIC_PLATFORM is undefined
-# CONFIG_GPIO_LATCH is undefined
-# CONFIG_GPIO_PCA953X is undefined
-# CONFIG_GPIO_PCF857X is undefined
-# CONFIG_GPIO_PL061 is undefined
-# CONFIG_GPIO_RASPBERRYPI_EXP is undefined
-# CONFIG_GPIO_SIFIVE is undefined
-# CONFIG_GPIO_SX150X is undefined
-# CONFIG_GPIO_WATCHDOG is undefined
-# CONFIG_I2C_ALGOBIT is undefined
-# CONFIG_I2C_BCM283X is undefined
-# CONFIG_I2C_GPIO is undefined
-# CONFIG_JTAG is undefined
-# CONFIG_KEYBOARD_GPIO is undefined
-# CONFIG_KEYBOARD_QT1070 is undefined
-# CONFIG_LED_GPIO is undefined
-# CONFIG_LED_GPIO_BICOLOR is undefined
-# CONFIG_LED_GPIO_OF is undefined
-# CONFIG_LED_GPIO_RGB is undefined
-# CONFIG_MACH_RPI2 is undefined
-# CONFIG_MACH_RPI3 is undefined
-# CONFIG_MACH_RPI4 is undefined
-# CONFIG_MACH_RPI is undefined
-# CONFIG_MACH_RPI_AARCH_32_64 is undefined
-# CONFIG_MACH_RPI_CM3 is undefined
-# CONFIG_MACH_RPI_COMMON is undefined
+CONFIG_HAS_DEBUG_LL=y
+CONFIG_HAS_DMA=y
+CONFIG_HAS_MODULES=y
+CONFIG_HAVE_CLK=y
+CONFIG_HAVE_MOD_ARCH_SPECIFIC=y
+CONFIG_HAVE_PBL_IMAGE=y
+CONFIG_HAVE_PBL_MULTI_IMAGES=y
+# CONFIG_I2C_MV64XXX is not set
+CONFIG_IMAGE_COMPRESSION=y
+# CONFIG_IMAGE_COMPRESSION_GZIP is not set
+# CONFIG_IMAGE_COMPRESSION_LZ4 is not set
+CONFIG_IMAGE_COMPRESSION_LZO=y
+# CONFIG_IMAGE_COMPRESSION_NONE is not set
+# CONFIG_IMAGE_COMPRESSION_XZKERN is not set
+CONFIG_LIBFDT=y
 CONFIG_MACH_VEXPRESS=y
 # CONFIG_MACH_VIRT is not set
-# CONFIG_MCI_BCM283X is undefined
-# CONFIG_MCI_BCM283X_SDHOST is undefined
-# CONFIG_MDIO_BUS_MUX_GPIO is undefined
+# CONFIG_MCI_DW is not set
+CONFIG_MCI_MMCI=y
 CONFIG_MTD_CONCAT=y
-# CONFIG_OF_GPIO is undefined
 CONFIG_PBL_CONSOLE=y
-# CONFIG_PINCTRL_BCM283X is undefined
-# CONFIG_POWER_RESET_GPIO is undefined
-# CONFIG_POWER_RESET_GPIO_RESTART is undefined
+CONFIG_PBL_IMAGE=y
+CONFIG_PBL_MULTI_IMAGES=y
+CONFIG_PBL_RELOCATABLE=y
 CONFIG_PROMPT="vexpress: "
-# CONFIG_REGULATOR_BCM283X is undefined
-# CONFIG_REGULATOR_FIXED is undefined
 CONFIG_SERIAL_AMBA_PL011=y
 CONFIG_SRAM=y
-# CONFIG_USE_COMPRESSED_DTB is undefined
-# CONFIG_WATCHDOG_BCM2835 is undefined
+# CONFIG_THUMB2_BAREBOX is not set
+# CONFIG_USB_DWC3 is not set
+CONFIG_USB_EHCI=y
+# CONFIG_USB_XHCI is not set
diff --git a/configs/platform-v7a/barebox.config b/configs/platform-v7a/barebox.config
index 2e1d844e9512..00aa263e1581 100644
--- a/configs/platform-v7a/barebox.config
+++ b/configs/platform-v7a/barebox.config
@@ -1,78 +1,52 @@
 #
 # Automatically generated file; DO NOT EDIT.
-# Barebox/arm 2023.02.1 Configuration
+# Barebox/arm 2023.04.0 Configuration
 #
 CONFIG_ARM=y
 CONFIG_ARM_LINUX=y
-CONFIG_ARM_USE_COMPRESSED_DTB=y
 CONFIG_TEXT_BASE=0x0
 
 #
 # System Type
 #
+CONFIG_ARCH_MULTIARCH=y
 # CONFIG_ARCH_AT91 is not set
-CONFIG_ARCH_BCM283X=y
 # CONFIG_ARCH_CLPS711X is not set
 # CONFIG_ARCH_DAVINCI is not set
 # CONFIG_ARCH_DIGIC is not set
 # CONFIG_ARCH_EP93XX is not set
-# CONFIG_ARCH_IMX is not set
 # CONFIG_ARCH_LAYERSCAPE is not set
 # CONFIG_ARCH_MVEBU is not set
 # CONFIG_ARCH_MXS is not set
 # CONFIG_ARCH_NOMADIK is not set
-# CONFIG_ARCH_OMAP is not set
+# CONFIG_ARCH_OMAP_SINGLE is not set
 # CONFIG_ARCH_PXA is not set
-# CONFIG_ARCH_ROCKCHIP is not set
 # CONFIG_ARCH_SOCFPGA is not set
-# CONFIG_ARCH_S3C24xx is not set
-# CONFIG_ARCH_S5PCxx is not set
-# CONFIG_ARCH_S3C64xx is not set
-# CONFIG_ARCH_STM32MP is not set
 # CONFIG_ARCH_VERSATILE is not set
-# CONFIG_ARCH_VEXPRESS is not set
 # CONFIG_ARCH_TEGRA is not set
 # CONFIG_ARCH_UEMD is not set
 # CONFIG_ARCH_ZYNQ is not set
-# CONFIG_ARCH_ZYNQMP is not set
 # CONFIG_ARCH_ARM64_VIRT is not set
+# CONFIG_ARCH_BCM283X is not set
+# CONFIG_ARCH_IMX is not set
+# CONFIG_ARCH_OMAP_MULTI is not set
+# CONFIG_ARCH_ROCKCHIP is not set
+# CONFIG_ARCH_STM32MP is not set
+# CONFIG_ARCH_VEXPRESS is not set
+# CONFIG_ARCH_ZYNQMP is not set
 
 #
 # Processor Type
 #
-CONFIG_CPU_32=y
-CONFIG_CPU_V7=y
-CONFIG_CPU_32v7=y
 
 #
 # processor features
 #
 # CONFIG_BOOT_ENDIANNESS_SWITCH is not set
-CONFIG_CPU_SUPPORTS_32BIT_KERNEL=y
-CONFIG_CPU_SUPPORTS_64BIT_KERNEL=y
-CONFIG_ARCH_TEXT_BASE=0x0
-CONFIG_MACH_RPI_COMMON=y
-CONFIG_MACH_RPI_AARCH_32_64=y
-
-#
-# select Broadcom BCM283X boards to be built
-#
-# CONFIG_MACH_RPI is not set
-# CONFIG_MACH_RPI2 is not set
-CONFIG_MACH_RPI3=y
-# CONFIG_MACH_RPI_CM3 is not set
-# CONFIG_MACH_RPI4 is not set
-# end of select Broadcom BCM283X boards to be built
-
-CONFIG_BOARD_ARM_GENERIC_DT=y
 CONFIG_AEABI=y
-# CONFIG_THUMB2_BAREBOX is not set
 # CONFIG_ARM_BOARD_APPEND_ATAG is not set
 # end of System Type
 
-CONFIG_32BIT=y
-# CONFIG_64BIT is not set
-
 #
 # ARM specific settings
 #
@@ -80,19 +54,12 @@ CONFIG_ARM_OPTIMZED_STRING_FUNCTIONS=y
 CONFIG_ARM_EXCEPTIONS=y
 CONFIG_ARM_UNWIND=y
 # CONFIG_ARM_SEMIHOSTING is not set
-CONFIG_ARM_SMCCC=y
-CONFIG_ARM_SECURE_MONITOR=y
-# CONFIG_ARM_PSCI is not set
-# CONFIG_ARM_PSCI_CLIENT is not set
 # end of ARM specific settings
 
 CONFIG_GREGORIAN_CALENDER=y
 CONFIG_HAS_KALLSYMS=y
-CONFIG_HAS_MODULES=y
 CONFIG_HAS_CACHE=y
-CONFIG_HAS_DMA=y
 CONFIG_ARCH_HAS_SJLJ=y
-CONFIG_GENERIC_GPIO=y
 CONFIG_BLOCK=y
 CONFIG_BLOCK_WRITE=y
 CONFIG_FILETYPE=y
@@ -119,24 +86,10 @@ CONFIG_NVVAR=y
 #
 # memory layout
 #
-CONFIG_HAVE_PBL_IMAGE=y
-CONFIG_HAVE_PBL_MULTI_IMAGES=y
 CONFIG_HAVE_IMAGE_COMPRESSION=y
-CONFIG_PBL_IMAGE=y
-CONFIG_PBL_MULTI_IMAGES=y
-CONFIG_USE_COMPRESSED_DTB=y
-CONFIG_PBL_RELOCATABLE=y
-CONFIG_BOARD_GENERIC_DT=y
-CONFIG_IMAGE_COMPRESSION=y
-# CONFIG_IMAGE_COMPRESSION_LZ4 is not set
-CONFIG_IMAGE_COMPRESSION_LZO=y
-# CONFIG_IMAGE_COMPRESSION_GZIP is not set
-# CONFIG_IMAGE_COMPRESSION_XZKERN is not set
-# CONFIG_IMAGE_COMPRESSION_NONE is not set
 CONFIG_MMU=y
 CONFIG_MMU_EARLY=y
 CONFIG_BAREBOX_MAX_IMAGE_SIZE=0xffffffff
-CONFIG_BAREBOX_MAX_PBL_SIZE=0xffffffff
 CONFIG_BAREBOX_MAX_BARE_INIT_SIZE=0xffffffff
 CONFIG_STACK_SIZE=0x8000
 CONFIG_MALLOC_SIZE=0x0
@@ -145,7 +98,6 @@ CONFIG_MALLOC_SIZE=0x0
 # CONFIG_EXPERIMENTAL is not set
 # CONFIG_MALLOC_DLMALLOC is not set
 CONFIG_MALLOC_TLSF=y
-CONFIG_HAVE_MOD_ARCH_SPECIFIC=y
 CONFIG_KALLSYMS=y
 CONFIG_RELOCATABLE=y
 # CONFIG_PANIC_HANG is not set
@@ -190,7 +142,6 @@ CONFIG_CONSOLE_ACTIVATE_FIRST=y
 # CONFIG_CONSOLE_ACTIVATE_NONE is not set
 CONFIG_CONSOLE_ALLOW_COLOR=y
 # CONFIG_CONSOLE_DISABLE_INPUT is not set
-# CONFIG_PBL_CONSOLE is not set
 # CONFIG_CONSOLE_RATP is not set
 CONFIG_PARTITION=y
 CONFIG_PARTITION_DISK=y
@@ -198,6 +149,10 @@ CONFIG_PARTITION_DISK_DOS=y
 # CONFIG_PARTITION_DISK_EFI is not set
 CONFIG_ENV_HANDLING=y
 CONFIG_DEFAULT_ENVIRONMENT=y
+# CONFIG_DEFAULT_COMPRESSION_GZIP is not set
+# CONFIG_DEFAULT_COMPRESSION_BZIP2 is not set
+# CONFIG_DEFAULT_COMPRESSION_LZO is not set
+# CONFIG_DEFAULT_COMPRESSION_XZ is not set
 CONFIG_DEFAULT_COMPRESSION_NONE=y
 CONFIG_DEFAULT_ENVIRONMENT_GENERIC_NEW=y
 CONFIG_DEFAULT_ENVIRONMENT_GENERIC_NEW_MENU=y
@@ -235,7 +190,6 @@ CONFIG_FASTBOOT_CMD_OEM=y
 #
 CONFIG_COMPILE_LOGLEVEL=7
 CONFIG_DEFAULT_LOGLEVEL=6
-# CONFIG_DEBUG_LL is not set
 # CONFIG_DEBUG_INITCALLS is not set
 # CONFIG_DEBUG_PROBES is not set
 # CONFIG_PBL_BREAK is not set
@@ -252,7 +206,6 @@ CONFIG_CC_HAS_KASAN_GENERIC=y
 #
 # end of EFI (Extensible Firmware Interface) Support
 
-CONFIG_HAS_DEBUG_LL=y
 CONFIG_COMMAND_SUPPORT=y
 CONFIG_COMPILE_HASH=y
 
@@ -275,7 +228,6 @@ CONFIG_LONGHELP=y
 CONFIG_CMD_IOMEM=y
 CONFIG_CMD_IMD=y
 CONFIG_CMD_MEMINFO=y
-CONFIG_CMD_ARM_MMUINFO=y
 CONFIG_CMD_REGULATOR=y
 CONFIG_CMD_VERSION=y
 CONFIG_CMD_MMC=y
@@ -411,14 +363,11 @@ CONFIG_CMD_MW=y
 #
 # Hardware manipulation
 #
-CONFIG_CMD_CLK=y
 CONFIG_CMD_DETECT=y
 CONFIG_CMD_FLASH=y
-CONFIG_CMD_GPIO=y
 CONFIG_CMD_I2C=y
 CONFIG_CMD_LED=y
 # CONFIG_CMD_POWEROFF is not set
-# CONFIG_CMD_SMC is not set
 CONFIG_CMD_SPI=y
 CONFIG_CMD_LED_TRIGGER=y
 CONFIG_CMD_USB=y
@@ -467,20 +416,17 @@ CONFIG_OFTREE=y
 CONFIG_OFTREE_MEM_GENERIC=y
 CONFIG_DTC=y
 CONFIG_OFDEVICE=y
-CONFIG_OF_GPIO=y
 CONFIG_OF_BAREBOX_DRIVERS=y
 # CONFIG_OF_BAREBOX_ENV_IN_FS is not set
 CONFIG_OF_OVERLAY=y
 # CONFIG_OF_OVERLAY_LIVE is not set
 # CONFIG_AIODEV is not set
-CONFIG_ARM_AMBA=y
 
 #
 # serial drivers
 #
 # CONFIG_SERIAL_DEV_BUS is not set
 # CONFIG_DRIVER_SERIAL_ARM_DCC is not set
-# CONFIG_SERIAL_AMBA_PL011 is not set
 # CONFIG_DRIVER_SERIAL_NS16550 is not set
 # CONFIG_DRIVER_SERIAL_CADENCE is not set
 # CONFIG_SERIAL_SIFIVE is not set
@@ -491,9 +437,7 @@ CONFIG_PHYLIB=y
 #
 # Network drivers
 #
-# CONFIG_DRIVER_NET_ARC_EMAC is not set
 # CONFIG_DRIVER_NET_BCMGENET is not set
-# CONFIG_DRIVER_NET_DESIGNWARE_GENERIC is not set
 # CONFIG_DRIVER_NET_ENC28J60 is not set
 # CONFIG_DRIVER_NET_FSL_FMAN is not set
 # CONFIG_DRIVER_NET_KS8851_MLL is not set
@@ -526,7 +470,6 @@ CONFIG_PHYLIB=y
 # MII bus device drivers
 #
 # CONFIG_MDIO_BITBANG is not set
-# CONFIG_MDIO_BUS_MUX_GPIO is not set
 # end of phylib
 
 CONFIG_NET_USB=y
@@ -542,20 +485,15 @@ CONFIG_NET_USB_SMSC95XX=y
 #
 CONFIG_SPI=y
 # CONFIG_SPI_MEM is not set
-CONFIG_DRIVER_SPI_GPIO=y
 # CONFIG_DRIVER_SPI_LITEX_SPIFLASH is not set
 # end of SPI drivers
 
 CONFIG_I2C=y
-CONFIG_I2C_ALGOBIT=y
 
 #
 # I2C Hardware Bus support
 #
-CONFIG_I2C_GPIO=y
-CONFIG_I2C_BCM283X=y
 # CONFIG_I2C_DESIGNWARE is not set
-# CONFIG_I2C_MV64XXX is not set
 # end of I2C Hardware Bus support
 
 # CONFIG_I2C_MUX is not set
@@ -590,7 +528,6 @@ CONFIG_DISK_WRITE=y
 # drive types
 #
 # CONFIG_DISK_ATA is not set
-# CONFIG_DISK_AHCI is not set
 
 #
 # interface types
@@ -600,9 +537,6 @@ CONFIG_USB=y
 CONFIG_USB_HOST=y
 # CONFIG_USB_DWC2_HOST is not set
 # CONFIG_USB_DWC2_GADGET is not set
-# CONFIG_USB_DWC3 is not set
-CONFIG_USB_EHCI=y
-# CONFIG_USB_XHCI is not set
 # CONFIG_USB_ULPI is not set
 CONFIG_USB_STORAGE=y
 
@@ -610,6 +544,7 @@ CONFIG_USB_STORAGE=y
 # USB Miscellaneous drivers
 #
 # CONFIG_USB_HUB_USB251XB is not set
+# CONFIG_USB_ONBOARD_HUB is not set
 CONFIG_USB_GADGET=y
 CONFIG_USB_GADGET_AUTOSTART=y
 
@@ -637,24 +572,14 @@ CONFIG_MCI_WRITE=y
 #
 # --- MCI host drivers ---
 #
-# CONFIG_MCI_DW is not set
 # CONFIG_MCI_ROCKCHIP_DWCMSHC is not set
-# CONFIG_MCI_BCM283X is not set
-# CONFIG_MCI_BCM283X_SDHOST is not set
-CONFIG_MCI_MMCI=y
 # CONFIG_MCI_ARASAN is not set
 # CONFIG_MCI_SPI is not set
-CONFIG_HAVE_CLK=y
-CONFIG_CLKDEV_LOOKUP=y
-CONFIG_COMMON_CLK=y
-CONFIG_COMMON_CLK_OF_PROVIDER=y
 
 #
 # Clocksource
 #
-CONFIG_CLOCKSOURCE_BCM283X=y
 CONFIG_CLOCKSOURCE_DUMMY_RATE=1000
-CONFIG_CLOCKSOURCE_ARM_ARCHITECTED_TIMER=y
 # CONFIG_CLOCKSOURCE_DW_APB_TIMER is not set
 # end of Clocksource
 
@@ -677,12 +602,12 @@ CONFIG_CLOCKSOURCE_ARM_ARCHITECTED_TIMER=y
 # CONFIG_MFD_ATMEL_FLEXCOM is not set
 # CONFIG_MFD_RK808 is not set
 # CONFIG_MFD_AXP20X_I2C is not set
+# CONFIG_MFD_ROHM_BD718XX is not set
 # end of Multifunction device drivers
 
 #
 # Misc devices
 #
-# CONFIG_JTAG is not set
 # CONFIG_SRAM is not set
 CONFIG_STATE_DRV=y
 CONFIG_DEV_MEM=y
@@ -691,10 +616,6 @@ CONFIG_DEV_MEM=y
 # end of Misc devices
 
 CONFIG_LED=y
-CONFIG_LED_GPIO=y
-CONFIG_LED_GPIO_OF=y
-# CONFIG_LED_GPIO_RGB is not set
-# CONFIG_LED_GPIO_BICOLOR is not set
 CONFIG_LED_TRIGGERS=y
 # CONFIG_LED_PCA955X is not set
 
@@ -708,8 +629,6 @@ CONFIG_LED_TRIGGERS=y
 #
 # Input device support
 #
-# CONFIG_KEYBOARD_GPIO is not set
-# CONFIG_KEYBOARD_QT1070 is not set
 # CONFIG_KEYBOARD_USB is not set
 # CONFIG_INPUT_SPECIALKEYS is not set
 # end of Input device support
@@ -717,8 +636,6 @@ CONFIG_LED_TRIGGERS=y
 CONFIG_WATCHDOG=y
 # CONFIG_WATCHDOG_POLLER is not set
 # CONFIG_WATCHDOG_DW is not set
-# CONFIG_WATCHDOG_BCM2835 is not set
-# CONFIG_GPIO_WATCHDOG is not set
 # CONFIG_PWM is not set
 CONFIG_HWRNG=y
 
@@ -727,31 +644,12 @@ CONFIG_HWRNG=y
 #
 # end of DMA support
 
-CONFIG_GPIOLIB=y
-
-#
-# GPIO
-#
-# CONFIG_GPIO_74164 is not set
-# CONFIG_GPIO_74XX_MMIO is not set
-# CONFIG_GPIO_GENERIC_PLATFORM is not set
-# CONFIG_GPIO_PCA953X is not set
-# CONFIG_GPIO_PCF857X is not set
-# CONFIG_GPIO_PL061 is not set
-# CONFIG_GPIO_RASPBERRYPI_EXP is not set
-# CONFIG_GPIO_DESIGNWARE is not set
-# CONFIG_GPIO_SX150X is not set
-# CONFIG_GPIO_SIFIVE is not set
-# CONFIG_GPIO_LATCH is not set
-# end of GPIO
-
 # CONFIG_W1 is not set
 
 #
 # Pin controllers
 #
 CONFIG_PINCTRL=y
-# CONFIG_PINCTRL_BCM283X is not set
 # CONFIG_PINCTRL_SINGLE is not set
 # end of Pin controllers
 
@@ -763,8 +661,6 @@ CONFIG_PINCTRL=y
 # end of Bus devices
 
 CONFIG_REGULATOR=y
-# CONFIG_REGULATOR_FIXED is not set
-CONFIG_REGULATOR_BCM283X=y
 
 #
 # Remoteproc drivers
@@ -778,8 +674,7 @@ CONFIG_REGULATOR_BCM283X=y
 #
 # Firmware Drivers
 #
-# CONFIG_FIRMWARE_ALTERA_SERIAL is not set
-# CONFIG_ARM_SCMI_PROTOCOL is not set
+# CONFIG_QEMU_FW_CFG is not set
 # end of Firmware Drivers
 
 #
@@ -789,7 +684,11 @@ CONFIG_REGULATOR_BCM283X=y
 # end of FPGA Configuration Support
 
 # CONFIG_GENERIC_PHY is not set
-# CONFIG_CRYPTO_HW is not set
+
+#
+# Hardware crypto devices
+#
+# end of Hardware crypto devices
 
 #
 # Memory controller drivers
@@ -818,8 +717,6 @@ CONFIG_REGULATOR_BCM283X=y
 
 # CONFIG_POWER_RESET_SYSCON is not set
 # CONFIG_POWER_RESET_SYSCON_POWEROFF is not set
-# CONFIG_POWER_RESET_GPIO is not set
-# CONFIG_POWER_RESET_GPIO_RESTART is not set
 # CONFIG_VIRTIO_MENU is not set
 # end of Drivers
 
@@ -896,7 +793,6 @@ CONFIG_LZO_DECOMPRESS=y
 CONFIG_FNMATCH=y
 CONFIG_QSORT=y
 CONFIG_IMAGE_SPARSE=y
-CONFIG_LIBFDT=y
 # CONFIG_RATP is not set
 # CONFIG_ALLOW_PRNG_FALLBACK is not set
 # CONFIG_CRC_CCITT is not set
@@ -907,7 +803,7 @@ CONFIG_LIBFDT=y
 #
 # end of Library gui routines
 
-# CONFIG_NLS is not set
+CONFIG_NLS=y
 # CONFIG_BLOBGEN is not set
 CONFIG_ARCH_HAS_STACK_DUMP=y
 CONFIG_ARCH_HAS_DATA_ABORT_MASK=y
diff --git a/configs/platform-v7a/platformconfig b/configs/platform-v7a/platformconfig
index a5fd92ee8fa2..48ad3cef27d5 100644
--- a/configs/platform-v7a/platformconfig
+++ b/configs/platform-v7a/platformconfig
@@ -183,8 +183,8 @@ PTXCONF_AT91BOOTSTRAP2_MD5="ef321a80bf428bfd6cb642c96126ef6c"
 PTXCONF_AT91BOOTSTRAP2_CONFIG="at91bootstrap-wifx-l1.config"
 PTXCONF_BAREBOX_COMMON_ARCH_STRING="arm"
 PTXCONF_BAREBOX_COMMON=y
-PTXCONF_BAREBOX_COMMON_VERSION="2023.02.1"
-PTXCONF_BAREBOX_COMMON_MD5="348dcab39489a46506a3c205a0da87a9"
+PTXCONF_BAREBOX_COMMON_VERSION="2023.04.0"
+PTXCONF_BAREBOX_COMMON_MD5="322b14e079eb18c8e851084ea44d99e3"
 PTXCONF_BAREBOX_COMMON_NEEDS_HOST_LZOP=y
 PTXCONF_BAREBOX_AM335X_MLO=y
 PTXCONF_BAREBOX_AM335X=y
-- 
2.39.2