board: ge: bx50v3: check b850v3 power management watchdog

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

diff --git a/arch/Kconfig b/arch/Kconfig
index 18de8d8..3aa99e0 100644 (file)
--- a/arch/Kconfig
+++ b/arch/Kconfig
@@ -199,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