1 files changed, 7 insertions, 9 deletions
diff --git a/config/x86_64/xen b/config/x86_64/xen
index d14dbb3..19a0127 100644
--- a/config/x86_64/xen
+++ b/config/x86_64/xen
@@ -441,7 +441,7 @@ CONFIG_ACPI_APEI_EINJ=m
 # CONFIG_ACPI_APEI_ERST_DEBUG is not set
 CONFIG_ACPI_PV_SLEEP=y
 CONFIG_PROCESSOR_EXTERNAL_CONTROL=y
-CONFIG_SFI=y
+# CONFIG_SFI is not set
 
 #
 # CPU Frequency scaling
@@ -1388,8 +1388,7 @@ CONFIG_MTD_NAND_BCH=m
 CONFIG_MTD_NAND_ECC_BCH=y
 CONFIG_MTD_SM_COMMON=m
 CONFIG_MTD_NAND_MUSEUM_IDS=y
-CONFIG_MTD_NAND_DENALI=m
-CONFIG_MTD_NAND_DENALI_SCRATCH_REG_ADDR=0xFF108018
+# CONFIG_MTD_NAND_DENALI is not set
 CONFIG_MTD_NAND_IDS=m
 CONFIG_MTD_NAND_RICOH=m
 CONFIG_MTD_NAND_DISKONCHIP=m
@@ -1513,7 +1512,7 @@ CONFIG_CS5535_MFGPT=m
 CONFIG_CS5535_MFGPT_DEFAULT_IRQ=7
 CONFIG_CS5535_CLOCK_EVENT_SRC=m
 CONFIG_HP_ILO=m
-CONFIG_APDS9802ALS=m
+# CONFIG_APDS9802ALS is not set
 # CONFIG_ISL29003 is not set
 CONFIG_ISL29020=m
 CONFIG_SENSORS_TSL2550=m
@@ -2825,10 +2824,9 @@ CONFIG_SERIAL_8250_RUNTIME_UARTS=32
 #
 # CONFIG_SERIAL_MAX3100 is not set
 CONFIG_SERIAL_MAX3107=m
-CONFIG_SERIAL_MRST_MAX3110=m
+# CONFIG_SERIAL_MRST_MAX3110 is not set
 # CONFIG_SERIAL_MFD_HSU is not set
 CONFIG_SERIAL_CORE=m
-CONFIG_SERIAL_CORE_CONSOLE=y
 CONFIG_SERIAL_JSM=m
 CONFIG_SERIAL_TIMBERDALE=m
 CONFIG_SERIAL_ALTERA_JTAGUART=m
@@ -2930,7 +2928,7 @@ CONFIG_I2C_SCMI=m
 CONFIG_I2C_DESIGNWARE_PCI=m
 CONFIG_I2C_EG20T=m
 CONFIG_I2C_GPIO=m
-CONFIG_I2C_INTEL_MID=m
+# CONFIG_I2C_INTEL_MID is not set
 CONFIG_I2C_OCORES=m
 CONFIG_I2C_PCA_PLATFORM=m
 # CONFIG_I2C_PXA_PCI is not set
@@ -2971,7 +2969,7 @@ CONFIG_SPI_TOPCLIFF_PCH=m
 CONFIG_SPI_XILINX=m
 CONFIG_SPI_DESIGNWARE=y
 CONFIG_SPI_DW_PCI=m
-CONFIG_SPI_DW_MID_DMA=y
+# CONFIG_SPI_DW_MID_DMA is not set
 
 #
 # SPI Protocol Masters
@@ -3951,7 +3949,7 @@ CONFIG_DRM_SIS=m
 CONFIG_DRM_VIA=m
 CONFIG_DRM_SAVAGE=m
 CONFIG_DRM_GMA500=m
-CONFIG_DRM_GMA600=y
+# CONFIG_DRM_GMA600 is not set
 CONFIG_DRM_GMA3600=y
 CONFIG_DRM_UDL=m
 CONFIG_STUB_POULSBO=m