# CONFIG_ACENIC is not set
# CONFIG_ACORN_PARTITION is not set
# CONFIG_ACPI_APEI is not set
+# CONFIG_ACPI_CUSTOM_METHOD is not set
# CONFIG_ACPI_HED is not set
# CONFIG_ACPI_POWER_METER is not set
# CONFIG_AD525X_DPOT is not set
# CONFIG_CONTEXT_SWITCH_TRACER is not set
# CONFIG_COPS is not set
# CONFIG_CORE_DUMP_DEFAULT_ELF_HEADERS is not set
+# CONFIG_CPA_DEBUG is not set
# CONFIG_CPU_DCACHE_DISABLE is not set
# CONFIG_CPU_FREQ is not set
# CONFIG_CPU_IDLE is not set
# CONFIG_DEBUG_MEMORY_INIT is not set
# CONFIG_DEBUG_MUTEXES is not set
# CONFIG_DEBUG_NOTIFIERS is not set
+# CONFIG_DEBUG_NX_TEST is not set
# CONFIG_DEBUG_OBJECTS is not set
# CONFIG_DEBUG_PAGEALLOC is not set
+# CONFIG_DEBUG_PERF_USE_VMALLOC is not set
# CONFIG_DEBUG_PREEMPT is not set
# CONFIG_DEBUG_RODATA is not set
# CONFIG_DEBUG_RT_MUTEXES is not set
# CONFIG_DEBUG_SPINLOCK_SLEEP is not set
# CONFIG_DEBUG_STACKOVERFLOW is not set
# CONFIG_DEBUG_STACK_USAGE is not set
+# CONFIG_DEBUG_STRICT_USER_COPY_CHECKS is not set
# CONFIG_DEBUG_VM is not set
# CONFIG_DEBUG_WRITECOUNT is not set
# CONFIG_DECNET is not set
# CONFIG_60XX_WDT is not set
# CONFIG_64BIT is not set
# CONFIG_AC3200 is not set
+# CONFIG_ACERHDF is not set
# CONFIG_ACPI is not set
# CONFIG_ACPI_CMPC is not set
# CONFIG_ACPI_EC_DEBUGFS is not set
# CONFIG_HIGHMEM4G is not set
# CONFIG_HIGHMEM64G is not set
# CONFIG_HIGH_RES_TIMERS is not set
+# CONFIG_HP_ACCEL is not set
CONFIG_HPET=y
CONFIG_HPET_EMULATE_RTC=y
CONFIG_HPET_MMAP=y
CONFIG_X86_VERBOSE_BOOTUP=y
CONFIG_X86_WP_WORKS_OK=y
CONFIG_X86_XADD=y
+# CONFIG_XO15_EBOOK is not set
# CONFIG_ZONE_DMA32 is not set
# CONFIG_BATTERY_BQ20Z75 is not set
# CONFIG_TRANSPARENT_HUGEPAGE is not set