This is required so that openSBI can add itself to /reserved-memory, and let EFI know about it.
@@ -59,7 +59,6 @@ CONFIG_CMD_DNS=y
CONFIG_CMD_FS_UUID=y
CONFIG_CMD_LOG=y
# CONFIG_ISO_PARTITION is not set
-CONFIG_OF_EMBED=y
CONFIG_ENV_OVERWRITE=y
CONFIG_VERSION_VARIABLE=y
CONFIG_BOOTP_SEND_HOSTNAME=y