#
CONFIG_X86_BIGSMP=y
# CONFIG_X86_INTEL_MID is not set
+CONFIG_X86_INTEL_QUARK=y
+CONFIG_IOSF_MBI=y
# CONFIG_X86_RDC321X is not set
CONFIG_X86_32_NON_STANDARD=y
# CONFIG_STA2X11 is not set
#
# I2C system bus drivers (mostly embedded / system-on-chip)
#
+CONFIG_I2C_DESIGNWARE_BAYTRAIL=y
# CONFIG_I2C_EG20T is not set
#
# Android
#
CONFIG_TC1100_WMI=m
+CONFIG_INTEL_IMR=y
#
# Clock Source drivers
#
# CONFIG_DEBUG_HIGHMEM is not set
+#
+# Runtime Testing
+#
+# CONFIG_DEBUG_IMR_SELFTEST is not set
+
#
# Grsecurity
#