# CONFIG_ACPI_HED is not set
# CONFIG_ACPI_POWER_METER is not set
# CONFIG_ACPI_QUICKSTART is not set
+# CONFIG_ACPI_INT3403_THERMAL is not set
# CONFIG_AD2S1200 is not set
# CONFIG_AD2S1210 is not set
# CONFIG_AD2S90 is not set
CONFIG_GENERIC_IRQ_PROBE=y
# CONFIG_GENERIC_PHY is not set
CONFIG_GENERIC_TIME=y
+# CONFIG_GENWQE is not set
# CONFIG_GFS2_FS is not set
# CONFIG_GIGASET_CAPI is not set
# CONFIG_GIGASET_DEBUG is not set
# CONFIG_HPLAN is not set
# CONFIG_HPLAN_PLUS is not set
# CONFIG_HP_ILO is not set
+# CONFIG_HP_WIRELESS is not set
# CONFIG_HSI is not set
# CONFIG_HSR is not set
# CONFIG_HTC_EGPIO is not set
# CONFIG_I2C_XILINX is not set
# CONFIG_I2O is not set
# CONFIG_I40E is not set
+# CONFIG_I40EVF is not set
# CONFIG_I6300ESB_WDT is not set
# CONFIG_I82092 is not set
# CONFIG_I82365 is not set