x86: kconfig: Hide "System tables" for coreboot

[karo-tx-uboot.git] / arch / x86 / Kconfig

diff --git a/arch/x86/Kconfig b/arch/x86/Kconfig
index b600bebf15b6e8860abedf29ef71d4fb06989587..065bbe49b7f190b40aa3f5bfd6566eabce60d6d6 100644 (file)
--- a/arch/x86/Kconfig
+++ b/arch/x86/Kconfig
@@ -307,7 +307,7 @@ config VGA_BIOS_ADDR
          0x90000 from the beginning of a 1MB flash device.
 
 menu "System tables"
-       depends on !EFI
+       depends on !EFI && !SYS_COREBOOT
 
 config GENERATE_PIRQ_TABLE
        bool "Generate a PIRQ table"