X-Git-Url: http://wien.tomnetworks.com/gitweb/?a=blobdiff_plain;f=src%2FKconfig.deprecated_options;h=3cfb5ddc3251c1b5706b8d3710dd886623bfa5de;hb=689e31d18b0fdefdef2d3b2947355e07b496ce77;hp=d83525e541b2101263083f2cc4a560a148dcfdba;hpb=1d888a97849d68a7136da558c3697c7f2a8d898a;p=coreboot.git

diff --git a/src/Kconfig.deprecated_options b/src/Kconfig.deprecated_options
index d83525e54..3cfb5ddc3 100644
--- a/src/Kconfig.deprecated_options
+++ b/src/Kconfig.deprecated_options
@@ -61,4 +61,8 @@ config PCIE_TUNING
 	  This variable enables certain PCIe optimizations. Right now it's
 	  only ASPM and it's untested.
 
+config ID_SECTION_OFFSET
+	hex
+	default 0x80
+
 endmenu