board: ge: bx50v3: check b850v3 power management watchdog

[platform/kernel/u-boot.git] / arch / Kconfig

diff --git a/arch/Kconfig b/arch/Kconfig
index 3b9fcce..3aa99e0 100644 (file)
--- a/arch/Kconfig
+++ b/arch/Kconfig
@@ -92,6 +92,7 @@ config SANDBOX
        bool "Sandbox"
        select BOARD_LATE_INIT
        select BZIP2
+       select CMD_POWEROFF
        select DM
        select DM_GPIO
        select DM_I2C
@@ -107,7 +108,7 @@ config SANDBOX
        select PCI_ENDPOINT
        select SPI
        select SUPPORT_OF_CONTROL
-       select SYSRESET_CMD_POWEROFF if CMD_POWEROFF
+       select SYSRESET_CMD_POWEROFF
        imply BITREVERSE
        select BLOBLIST
        imply CMD_DM
@@ -198,6 +199,8 @@ config X86
        imply RTC_MC146818
        imply IRQ
        imply ACPIGEN if !QEMU
+       imply SYSINFO if GENERATE_SMBIOS_TABLE
+       imply SYSINFO_SMBIOS if GENERATE_SMBIOS_TABLE
 
        # Thing to enable for when SPL/TPL are enabled: SPL
        imply SPL_DM