target/linux/x86-2.6/config-diff

   1 # CONFIG_3C515 is not set
   2 # CONFIG_60XX_WDT is not set
   3 CONFIG_8139TOO=m
   4 # CONFIG_8139TOO_8129 is not set
   5 CONFIG_8139TOO_PIO=y
   6 # CONFIG_8139TOO_TUNE_TWISTER is not set
   7 # CONFIG_8139_OLD_RX_RESET is not set
   8 # CONFIG_AC3200 is not set
   9 # CONFIG_ACPI is not set
  10 # CONFIG_ACQUIRE_WDT is not set
  11 # CONFIG_ADVANTECH_WDT is not set
  12 # CONFIG_AGP is not set
  13 # CONFIG_ALIM1535_WDT is not set
  14 # CONFIG_ALIM7101_WDT is not set
  15 # CONFIG_APRICOT is not set
  16 CONFIG_ARCH_MAY_HAVE_PC_FDC=y
  17 CONFIG_ARCH_POPULATES_NODE_MAP=y
  18 CONFIG_ARCH_SELECT_MEMORY_MODEL=y
  19 CONFIG_ARCH_SPARSEMEM_ENABLE=y
  20 # CONFIG_ARLAN is not set
  21 # CONFIG_AT1700 is not set
  22 # CONFIG_B44 is not set
  23 CONFIG_BASE_SMALL=0
  24 # CONFIG_BINFMT_AOUT is not set
  25 # CONFIG_BLK_DEV_AEC62XX is not set
  26 # CONFIG_BLK_DEV_ALI15X3 is not set
  27 # CONFIG_BLK_DEV_AMD74XX is not set
  28 # CONFIG_BLK_DEV_ATIIXP is not set
  29 # CONFIG_BLK_DEV_CMD640 is not set
  30 # CONFIG_BLK_DEV_CMD64X is not set
  31 # CONFIG_BLK_DEV_CS5520 is not set
  32 # CONFIG_BLK_DEV_CS5530 is not set
  33 # CONFIG_BLK_DEV_CS5535 is not set
  34 # CONFIG_BLK_DEV_CY82C693 is not set
  35 # CONFIG_BLK_DEV_FD is not set
  36 CONFIG_BLK_DEV_GENERIC=y
  37 # CONFIG_BLK_DEV_HD is not set
  38 # CONFIG_BLK_DEV_HD_IDE is not set
  39 # CONFIG_BLK_DEV_HPT34X is not set
  40 # CONFIG_BLK_DEV_HPT366 is not set
  41 CONFIG_BLK_DEV_IDE=y
  42 # CONFIG_BLK_DEV_IDECD is not set
  43 # CONFIG_BLK_DEV_IDECS is not set
  44 CONFIG_BLK_DEV_IDEDISK=y
  45 CONFIG_BLK_DEV_IDEDMA=y
  46 # CONFIG_BLK_DEV_IDEDMA_FORCED is not set
  47 CONFIG_BLK_DEV_IDEDMA_PCI=y
  48 # CONFIG_BLK_DEV_IDEFLOPPY is not set
  49 CONFIG_BLK_DEV_IDEPCI=y
  50 # CONFIG_BLK_DEV_IDEPNP is not set
  51 # CONFIG_BLK_DEV_IDESCSI is not set
  52 # CONFIG_BLK_DEV_IDETAPE is not set
  53 # CONFIG_BLK_DEV_IDE_SATA is not set
  54 # CONFIG_BLK_DEV_IT821X is not set
  55 # CONFIG_BLK_DEV_JMICRON is not set
  56 # CONFIG_BLK_DEV_NS87415 is not set
  57 # CONFIG_BLK_DEV_OFFBOARD is not set
  58 # CONFIG_BLK_DEV_OPTI621 is not set
  59 # CONFIG_BLK_DEV_PDC202XX_NEW is not set
  60 # CONFIG_BLK_DEV_PDC202XX_OLD is not set
  61 # CONFIG_BLK_DEV_PIIX is not set
  62 # CONFIG_BLK_DEV_RZ1000 is not set
  63 CONFIG_BLK_DEV_SC1200=y
  64 # CONFIG_BLK_DEV_SIIMAGE is not set
  65 # CONFIG_BLK_DEV_SIS5513 is not set
  66 # CONFIG_BLK_DEV_SLC90E66 is not set
  67 # CONFIG_BLK_DEV_SVWKS is not set
  68 # CONFIG_BLK_DEV_TRIFLEX is not set
  69 # CONFIG_BLK_DEV_TRM290 is not set
  70 CONFIG_BLK_DEV_VIA82CXXX=y
  71 # CONFIG_BLK_DEV_XD is not set
  72 # CONFIG_CD_NO_IDESCSI is not set
  73 CONFIG_COMPAT_VDSO=y
  74 # CONFIG_CPU5_WDT is not set
  75 CONFIG_CPU_FREQ=y
  76 # CONFIG_CPU_FREQ_DEBUG is not set
  77 CONFIG_CPU_FREQ_DEFAULT_GOV_PERFORMANCE=y
  78 # CONFIG_CPU_FREQ_DEFAULT_GOV_USERSPACE is not set
  79 # CONFIG_CPU_FREQ_GOV_CONSERVATIVE is not set
  80 # CONFIG_CPU_FREQ_GOV_ONDEMAND is not set
  81 CONFIG_CPU_FREQ_GOV_PERFORMANCE=y
  82 # CONFIG_CPU_FREQ_GOV_POWERSAVE is not set
  83 # CONFIG_CPU_FREQ_GOV_USERSPACE is not set
  84 CONFIG_CPU_FREQ_STAT=y
  85 CONFIG_CPU_FREQ_STAT_DETAILS=y
  86 CONFIG_CPU_FREQ_TABLE=y
  87 CONFIG_CRYPTO_AES_586=m
  88 # CONFIG_CRYPTO_DEV_PADLOCK is not set
  89 CONFIG_CRYPTO_TWOFISH_586=m
  90 # CONFIG_CS5535_GPIO is not set
  91 # CONFIG_CS89x0 is not set
  92 # CONFIG_DCDBAS is not set
  93 # CONFIG_DEBUG_BUGVERBOSE is not set
  94 # CONFIG_DELL_RBU is not set
  95 # CONFIG_DEPCA is not set
  96 # CONFIG_DMASCC is not set
  97 CONFIG_DMI=y
  98 CONFIG_DOUBLEFAULT=y
  99 CONFIG_EARLY_PRINTK=y
 100 # CONFIG_EDAC is not set
 101 # CONFIG_EDD is not set
 102 # CONFIG_EISA is not set
 103 # CONFIG_EL1 is not set
 104 # CONFIG_EL16 is not set
 105 # CONFIG_EL2 is not set
 106 # CONFIG_EL3 is not set
 107 # CONFIG_ELPLUS is not set
 108 # CONFIG_EUROTECH_WDT is not set
 109 CONFIG_EXT2_FS=y
 110 # CONFIG_FIRMWARE_EDID is not set
 111 CONFIG_FS_POSIX_ACL=y
 112 # CONFIG_FTAPE is not set
 113 CONFIG_GENERIC_IOMAP=y
 114 CONFIG_GENERIC_ISA_DMA=y
 115 # CONFIG_HANGCHECK_TIMER is not set
 116 # CONFIG_HIGHMEM4G is not set
 117 # CONFIG_HIGHMEM64G is not set
 118 # CONFIG_HPET_TIMER is not set
 119 # CONFIG_HUGETLBFS is not set
 120 CONFIG_HW_RANDOM=y
 121 # CONFIG_HW_RANDOM_AMD is not set
 122 CONFIG_HW_RANDOM_GEODE=y
 123 # CONFIG_HW_RANDOM_INTEL is not set
 124 CONFIG_HW_RANDOM_VIA=y
 125 CONFIG_HZ=100
 126 CONFIG_HZ_100=y
 127 # CONFIG_HZ_250 is not set
 128 CONFIG_I2C=m
 129 CONFIG_I2C_ALGOBIT=m
 130 # CONFIG_I2C_ALGOPCA is not set
 131 # CONFIG_I2C_ALGOPCF is not set
 132 # CONFIG_I2C_ALI1535 is not set
 133 # CONFIG_I2C_ALI1563 is not set
 134 # CONFIG_I2C_ALI15X3 is not set
 135 # CONFIG_I2C_AMD756 is not set
 136 # CONFIG_I2C_AMD8111 is not set
 137 CONFIG_I2C_CHARDEV=m
 138 # CONFIG_I2C_DEBUG_ALGO is not set
 139 # CONFIG_I2C_DEBUG_BUS is not set
 140 # CONFIG_I2C_DEBUG_CHIP is not set
 141 # CONFIG_I2C_DEBUG_CORE is not set
 142 # CONFIG_I2C_ELEKTOR is not set
 143 # CONFIG_I2C_I801 is not set
 144 # CONFIG_I2C_I810 is not set
 145 # CONFIG_I2C_NFORCE2 is not set
 146 # CONFIG_I2C_OCORES is not set
 147 # CONFIG_I2C_PARPORT_LIGHT is not set
 148 # CONFIG_I2C_PCA_ISA is not set
 149 # CONFIG_I2C_PIIX4 is not set
 150 # CONFIG_I2C_PROSAVAGE is not set
 151 # CONFIG_I2C_SAVAGE4 is not set
 152 # CONFIG_I2C_SIS5595 is not set
 153 # CONFIG_I2C_SIS630 is not set
 154 # CONFIG_I2C_SIS96X is not set
 155 # CONFIG_I2C_STUB is not set
 156 # CONFIG_I2C_VIA is not set
 157 # CONFIG_I2C_VIAPRO is not set
 158 # CONFIG_I2C_VOODOO3 is not set
 159 # CONFIG_I6300ESB_WDT is not set
 160 # CONFIG_I82365 is not set
 161 # CONFIG_I8K is not set
 162 # CONFIG_I8XX_TCO is not set
 163 # CONFIG_IB700_WDT is not set
 164 # CONFIG_IBMASR is not set
 165 # CONFIG_IBM_ASM is not set
 166 CONFIG_IDE=y
 167 # CONFIG_IDEDISK_MULTI_MODE is not set
 168 CONFIG_IDEDMA_AUTO=y
 169 # CONFIG_IDEDMA_IVB is not set
 170 # CONFIG_IDEDMA_ONLYDISK is not set
 171 CONFIG_IDEDMA_PCI_AUTO=y
 172 CONFIG_IDEPCI_SHARE_IRQ=y
 173 # CONFIG_IDE_ARM is not set
 174 # CONFIG_IDE_CHIPSETS is not set
 175 CONFIG_IDE_GENERIC=y
 176 CONFIG_IDE_MAX_HWIFS=4
 177 # CONFIG_IDE_TASK_IOCTL is not set
 178 CONFIG_INITRAMFS_ROOT_GID=0
 179 CONFIG_INITRAMFS_ROOT_UID=0
 180 CONFIG_INITRAMFS_SOURCE=""
 181 CONFIG_ISA=y
 182 CONFIG_ISAPNP=y
 183 CONFIG_ISA_DMA_API=y
 184 # CONFIG_ITCO_WDT is not set
 185 CONFIG_JFFS2_FS_DEBUG=0
 186 # CONFIG_KEXEC is not set
 187 CONFIG_KTIME_SCALAR=y
 188 # CONFIG_LANCE is not set
 189 CONFIG_LEDS_NET48XX=m
 190 # CONFIG_LEDS_TRIGGER_IDE_DISK is not set
 191 # CONFIG_M386 is not set
 192 CONFIG_M486=y
 193 # CONFIG_M586 is not set
 194 # CONFIG_M586MMX is not set
 195 # CONFIG_M586TSC is not set
 196 # CONFIG_M686 is not set
 197 # CONFIG_MACHZ_WDT is not set
 198 # CONFIG_MATH_EMULATION is not set
 199 # CONFIG_MCA is not set
 200 # CONFIG_MCRUSOE is not set
 201 # CONFIG_MCYRIXIII is not set
 202 # CONFIG_MEFFICEON is not set
 203 # CONFIG_MGEODEGX1 is not set
 204 # CONFIG_MGEODE_LX is not set
 205 # CONFIG_MICROCODE is not set
 206 CONFIG_MINI_FO=m
 207 # CONFIG_MIXCOMWD is not set
 208 # CONFIG_MK6 is not set
 209 # CONFIG_MK7 is not set
 210 # CONFIG_MK8 is not set
 211 # CONFIG_MPENTIUM4 is not set
 212 # CONFIG_MPENTIUMII is not set
 213 # CONFIG_MPENTIUMIII is not set
 214 # CONFIG_MPENTIUMM is not set
 215 CONFIG_MTD=y
 216 # CONFIG_MTD_ABSENT is not set
 217 CONFIG_MTD_BLOCK=y
 218 CONFIG_MTD_BLOCK2MTD=y
 219 # CONFIG_MTD_CFI is not set
 220 CONFIG_MTD_CFI_I1=y
 221 CONFIG_MTD_CFI_I2=y
 222 # CONFIG_MTD_CFI_I4 is not set
 223 # CONFIG_MTD_CFI_I8 is not set
 224 CONFIG_MTD_CHAR=y
 225 # CONFIG_MTD_CMDLINE_PARTS is not set
 226 # CONFIG_MTD_COMPLEX_MAPPINGS is not set
 227 # CONFIG_MTD_CONCAT is not set
 228 # CONFIG_MTD_DEBUG is not set
 229 # CONFIG_MTD_DOC2000 is not set
 230 # CONFIG_MTD_DOC2001 is not set
 231 # CONFIG_MTD_DOC2001PLUS is not set
 232 # CONFIG_MTD_JEDECPROBE is not set
 233 CONFIG_MTD_MAP_BANK_WIDTH_1=y
 234 # CONFIG_MTD_MAP_BANK_WIDTH_16 is not set
 235 CONFIG_MTD_MAP_BANK_WIDTH_2=y
 236 # CONFIG_MTD_MAP_BANK_WIDTH_32 is not set
 237 CONFIG_MTD_MAP_BANK_WIDTH_4=y
 238 # CONFIG_MTD_MAP_BANK_WIDTH_8 is not set
 239 # CONFIG_MTD_MTDRAM is not set
 240 # CONFIG_MTD_NAND is not set
 241 # CONFIG_MTD_OBSOLETE_CHIPS is not set
 242 # CONFIG_MTD_ONENAND is not set
 243 CONFIG_MTD_PARTITIONS=y
 244 # CONFIG_MTD_PHRAM is not set
 245 # CONFIG_MTD_PLATRAM is not set
 246 # CONFIG_MTD_PMC551 is not set
 247 # CONFIG_MTD_RAM is not set
 248 # CONFIG_MTD_REDBOOT_PARTS is not set
 249 # CONFIG_MTD_ROM is not set
 250 # CONFIG_MTD_SLRAM is not set
 251 # CONFIG_MTD_TS5500 is not set
 252 # CONFIG_MTRR is not set
 253 # CONFIG_MVIAC3_2 is not set
 254 # CONFIG_MWAVE is not set
 255 # CONFIG_MWINCHIP2 is not set
 256 # CONFIG_MWINCHIP3D is not set
 257 # CONFIG_MWINCHIPC6 is not set
 258 CONFIG_NATSEMI=m
 259 CONFIG_NE2K_PCI=m
 260 # CONFIG_NET_ISA is not set
 261 # CONFIG_NET_SB1000 is not set
 262 CONFIG_NET_VENDOR_3COM=y
 263 # CONFIG_NET_VENDOR_RACAL is not set
 264 # CONFIG_NET_VENDOR_SMC is not set
 265 CONFIG_NOHIGHMEM=y
 266 CONFIG_NSC_GPIO=m
 267 CONFIG_NVRAM=y
 268 CONFIG_PAGE_OFFSET=0xC0000000
 269 # CONFIG_PC8736x_GPIO is not set
 270 # CONFIG_PCIEPORTBUS is not set
 271 # CONFIG_PCIPCWATCHDOG is not set
 272 CONFIG_PCI_BIOS=y
 273 CONFIG_PCI_DIRECT=y
 274 CONFIG_PCI_GOANY=y
 275 # CONFIG_PCI_GOBIOS is not set
 276 # CONFIG_PCI_GODIRECT is not set
 277 # CONFIG_PCI_GOMMCONFIG is not set
 278 CONFIG_PCMCIA_ATMEL=m
 279 CONFIG_PCMCIA_PROBE=y
 280 # CONFIG_PCWATCHDOG is not set
 281 CONFIG_PHYSICAL_START=0x100000
 282 # CONFIG_PM is not set
 283 CONFIG_PNP=y
 284 # CONFIG_PNPBIOS is not set
 285 # CONFIG_PNP_DEBUG is not set
 286 # CONFIG_REGPARM is not set
 287 CONFIG_RTC=y
 288 CONFIG_RWSEM_XCHGADD_ALGORITHM=y
 289 # CONFIG_SBC8360_WDT is not set
 290 # CONFIG_SBC_EPX_C3_WATCHDOG is not set
 291 CONFIG_SC1200_WDT=m
 292 # CONFIG_SC520_WDT is not set
 293 # CONFIG_SCC is not set
 294 # CONFIG_SCSI_7000FASST is not set
 295 # CONFIG_SCSI_ADVANSYS is not set
 296 # CONFIG_SCSI_AHA152X is not set
 297 # CONFIG_SCSI_AHA1542 is not set
 298 # CONFIG_SCSI_BUSLOGIC is not set
 299 # CONFIG_SCSI_DTC3280 is not set
 300 # CONFIG_SCSI_EATA is not set
 301 # CONFIG_SCSI_GDTH is not set
 302 # CONFIG_SCSI_GENERIC_NCR5380 is not set
 303 # CONFIG_SCSI_GENERIC_NCR5380_MMIO is not set
 304 # CONFIG_SCSI_IN2000 is not set
 305 # CONFIG_SCSI_NCR53C406A is not set
 306 # CONFIG_SCSI_PAS16 is not set
 307 # CONFIG_SCSI_PSI240I is not set
 308 # CONFIG_SCSI_QLOGIC_FAS is not set
 309 # CONFIG_SCSI_SYM53C416 is not set
 310 # CONFIG_SCSI_T128 is not set
 311 # CONFIG_SCSI_U14_34F is not set
 312 # CONFIG_SCSI_ULTRASTOR is not set
 313 CONFIG_SCx200=y
 314 CONFIG_SCx200HR_TIMER=y
 315 CONFIG_SCx200_ACB=m
 316 CONFIG_SCx200_GPIO=m
 317 CONFIG_SCx200_I2C=m
 318 CONFIG_SCx200_I2C_SCL=12
 319 CONFIG_SCx200_I2C_SDA=13
 320 CONFIG_SCx200_WDT=m
 321 # CONFIG_SECCOMP is not set
 322 CONFIG_SEMAPHORE_SLEEPERS=y
 323 # CONFIG_SENSORS_DS1337 is not set
 324 # CONFIG_SENSORS_DS1374 is not set
 325 # CONFIG_SENSORS_EEPROM is not set
 326 # CONFIG_SENSORS_MAX6875 is not set
 327 # CONFIG_SENSORS_PCA9539 is not set
 328 # CONFIG_SENSORS_PCF8574 is not set
 329 # CONFIG_SENSORS_PCF8591 is not set
 330 # CONFIG_SERIAL_8250_EXTENDED is not set
 331 # CONFIG_SERIAL_8250_PNP is not set
 332 # CONFIG_SMP is not set
 333 # CONFIG_SMSC37B787_WDT is not set
 334 # CONFIG_SND_AD1816A is not set
 335 # CONFIG_SND_AD1848 is not set
 336 # CONFIG_SND_ADLIB is not set
 337 # CONFIG_SND_ALS100 is not set
 338 # CONFIG_SND_ALS4000 is not set
 339 # CONFIG_SND_AZT2320 is not set
 340 # CONFIG_SND_CMI8330 is not set
 341 # CONFIG_SND_CS4231 is not set
 342 # CONFIG_SND_CS4232 is not set
 343 # CONFIG_SND_CS4236 is not set
 344 # CONFIG_SND_CS5535AUDIO is not set
 345 # CONFIG_SND_DT019X is not set
 346 # CONFIG_SND_ES1688 is not set
 347 # CONFIG_SND_ES18XX is not set
 348 # CONFIG_SND_ES968 is not set
 349 # CONFIG_SND_GUSCLASSIC is not set
 350 # CONFIG_SND_GUSEXTREME is not set
 351 # CONFIG_SND_GUSMAX is not set
 352 # CONFIG_SND_INTERWAVE is not set
 353 # CONFIG_SND_INTERWAVE_STB is not set
 354 # CONFIG_SND_MIRO is not set
 355 # CONFIG_SND_OPL3SA2 is not set
 356 # CONFIG_SND_OPTI92X_AD1848 is not set
 357 # CONFIG_SND_OPTI92X_CS4231 is not set
 358 # CONFIG_SND_OPTI93X is not set
 359 # CONFIG_SND_RTCTIMER is not set
 360 # CONFIG_SND_SB16 is not set
 361 # CONFIG_SND_SB8 is not set
 362 # CONFIG_SND_SBAWE is not set
 363 # CONFIG_SND_SGALAXY is not set
 364 # CONFIG_SND_SSCAPE is not set
 365 # CONFIG_SND_USB_USX2Y is not set
 366 # CONFIG_SND_WAVEFRONT is not set
 367 CONFIG_SOFT_WATCHDOG=m
 368 CONFIG_SPARSEMEM_STATIC=y
 369 # CONFIG_TCIC is not set
 370 # CONFIG_TELCLOCK is not set
 371 # CONFIG_TOSHIBA is not set
 372 # CONFIG_TYPHOON is not set
 373 CONFIG_UID16=y
 374 # CONFIG_UNUSED_SYMBOLS is not set
 375 # CONFIG_UNWIND_INFO is not set
 376 # CONFIG_USBPCWATCHDOG is not set
 377 CONFIG_USB_EHCI_HCD=m
 378 # CONFIG_USB_EHCI_ROOT_HUB_TT is not set
 379 # CONFIG_USB_EHCI_SPLIT_ISO is not set
 380 # CONFIG_USB_EHCI_TT_NEWSCHED is not set
 381 # CONFIG_USB_STORAGE_ISD200 is not set
 382 CONFIG_USB_UHCI_HCD=m
 383 CONFIG_VIA_RHINE=m
 384 # CONFIG_VIA_RHINE_MMIO is not set
 385 CONFIG_VIA_RHINE_NAPI=y
 386 # CONFIG_VM86 is not set
 387 # CONFIG_VMSPLIT_1G is not set
 388 # CONFIG_VMSPLIT_2G is not set
 389 CONFIG_VMSPLIT_3G=y
 390 # CONFIG_VMSPLIT_3G_OPT is not set
 391 CONFIG_VORTEX=m
 392 # CONFIG_W83627HF_WDT is not set
 393 # CONFIG_W83697HF_WDT is not set
 394 # CONFIG_W83877F_WDT is not set
 395 # CONFIG_W83977F_WDT is not set
 396 # CONFIG_WAFER_WDT is not set
 397 # CONFIG_WAVELAN is not set
 398 # CONFIG_WDT is not set
 399 CONFIG_X86=y
 400 CONFIG_X86_32=y
 401 CONFIG_X86_ALIGNMENT_16=y
 402 # CONFIG_X86_BIGSMP is not set
 403 CONFIG_X86_BIOS_REBOOT=y
 404 CONFIG_X86_BSWAP=y
 405 CONFIG_X86_CMPXCHG=y
 406 # CONFIG_X86_CPUFREQ_NFORCE2 is not set
 407 # CONFIG_X86_CPUID is not set
 408 # CONFIG_X86_ELAN is not set
 409 # CONFIG_X86_ES7000 is not set
 410 CONFIG_X86_F00F_BUG=y
 411 # CONFIG_X86_GENERIC is not set
 412 # CONFIG_X86_GENERICARCH is not set
 413 CONFIG_X86_GX_SUSPMOD=m
 414 CONFIG_X86_INVLPG=y
 415 CONFIG_X86_L1_CACHE_SHIFT=4
 416 # CONFIG_X86_LONGRUN is not set
 417 # CONFIG_X86_MCE is not set
 418 # CONFIG_X86_MSR is not set
 419 # CONFIG_X86_NUMAQ is not set
 420 # CONFIG_X86_P4_CLOCKMOD is not set
 421 CONFIG_X86_PC=y
 422 CONFIG_X86_POPAD_OK=y
 423 # CONFIG_X86_POWERNOW_K6 is not set
 424 # CONFIG_X86_POWERNOW_K7 is not set
 425 # CONFIG_X86_POWERNOW_K8 is not set
 426 CONFIG_X86_PPRO_FENCE=y
 427 # CONFIG_X86_REBOOTFIXUPS is not set
 428 # CONFIG_X86_SPEEDSTEP_CENTRINO is not set
 429 # CONFIG_X86_SPEEDSTEP_ICH is not set
 430 # CONFIG_X86_SPEEDSTEP_LIB is not set
 431 # CONFIG_X86_SPEEDSTEP_SMI is not set
 432 # CONFIG_X86_SUMMIT is not set
 433 # CONFIG_X86_UP_APIC is not set
 434 # CONFIG_X86_VISWS is not set
 435 # CONFIG_X86_VOYAGER is not set
 436 CONFIG_X86_WP_WORKS_OK=y
 437 CONFIG_X86_XADD=y