CONFIG_ARCH_ENABLE_MEMORY_HOTPLUG=y
CONFIG_HIGHMEM=y
CONFIG_HIGHMEM4G=y
# CONFIG_HIGHPTE is not set
# CONFIG_ITCO_VENDOR_SUPPORT is not set
CONFIG_ITCO_WDT=y
CONFIG_LOG_BUF_SHIFT=17
# CONFIG_MTD is not set
# CONFIG_NOHIGHMEM is not set
CONFIG_SATA_AHCI=y
# CONFIG_SQUASHFS is not set
