1 # CONFIG_3C515 is not set
2 # CONFIG_60XX_WDT is not set
3 # CONFIG_64BIT is not set
4 # CONFIG_AC3200 is not set
5 # CONFIG_ACPI_AC is not set
6 # CONFIG_ACPI_ASUS is not set
7 # CONFIG_ACPI_BATTERY is not set
8 # CONFIG_ACPI_BUTTON is not set
9 # CONFIG_ACPI_CONTAINER is not set
10 # CONFIG_ACPI_CUSTOM_DSDT is not set
11 # CONFIG_ACPI_DEBUG is not set
12 # CONFIG_ACPI_DOCK is not set
13 # CONFIG_ACPI_FAN is not set
14 # CONFIG_ACPI_PCI_SLOT is not set
15 # CONFIG_ACPI_PROCESSOR_AGGREGATOR is not set
16 # CONFIG_ACPI_PROCFS is not set
17 # CONFIG_ACPI_PROCFS_POWER is not set
18 # CONFIG_ACPI_PROC_EVENT is not set
19 # CONFIG_ACPI_SBS is not set
20 # CONFIG_ACPI_TOSHIBA is not set
21 # CONFIG_ACPI_WMI is not set
22 # CONFIG_ACQUIRE_WDT is not set
23 # CONFIG_ADVANTECH_WDT is not set
24 # CONFIG_ALIM1535_WDT is not set
25 # CONFIG_APM is not set
26 # CONFIG_APRICOT is not set
27 # CONFIG_ARCH_PHYS_ADDR_T_64BIT is not set
28 # CONFIG_ASUS_LAPTOP is not set
29 # CONFIG_AT1700 is not set
30 # CONFIG_AUDIT_ARCH is not set
31 # CONFIG_BLK_DEV_XD is not set
32 # CONFIG_CC_STACKPROTECTOR is not set
33 # CONFIG_CMDLINE_BOOL is not set
34 # CONFIG_CPU5_WDT is not set
35 # CONFIG_CPU_FREQ_DEBUG is not set
36 # CONFIG_CPU_FREQ_DEFAULT_GOV_CONSERVATIVE is not set
37 # CONFIG_CPU_FREQ_DEFAULT_GOV_ONDEMAND is not set
38 # CONFIG_CPU_FREQ_DEFAULT_GOV_POWERSAVE is not set
39 # CONFIG_CPU_FREQ_DEFAULT_GOV_USERSPACE is not set
40 # CONFIG_CPU_FREQ_GOV_CONSERVATIVE is not set
41 # CONFIG_CPU_FREQ_GOV_ONDEMAND is not set
42 # CONFIG_CPU_FREQ_GOV_POWERSAVE is not set
43 # CONFIG_CPU_FREQ_GOV_USERSPACE is not set
44 # CONFIG_CS5535_GPIO is not set
45 # CONFIG_CS89x0 is not set
46 # CONFIG_DCDBAS is not set
47 # CONFIG_DELL_RBU is not set
48 # CONFIG_DEPCA is not set
49 # CONFIG_DMAR is not set
50 # CONFIG_DMA_API_DEBUG is not set
51 # CONFIG_DMIID is not set
52 # CONFIG_EARLY_PRINTK_DBGP is not set
53 # CONFIG_EDD is not set
54 # CONFIG_EFI is not set
55 # CONFIG_EISA is not set
56 # CONFIG_EL1 is not set
57 # CONFIG_EL16 is not set
58 # CONFIG_EL2 is not set
59 # CONFIG_EL3 is not set
60 # CONFIG_ELPLUS is not set
61 # CONFIG_EUROTECH_WDT is not set
62 # CONFIG_FRAME_POINTER is not set
63 # CONFIG_FREEZER is not
64 # CONFIG_GENERIC_CPU is not set
65 # CONFIG_GENERIC_PENDING_IRQ is not set
66 # CONFIG_GENERIC_TIME_VSYSCALL is not set
67 # CONFIG_HANGCHECK_TIMER is not set
68 # CONFIG_HAVE_CPUMASK_OF_CPU_MAP is not set
69 # CONFIG_HAVE_PERF_EVENTS is not set
70 # CONFIG_HIBERNATION is not set
71 # CONFIG_HIGHMEM4G is not set
72 # CONFIG_HIGHMEM64G is not set
73 # CONFIG_HIGH_RES_TIMERS is not set
74 # CONFIG_HOTPLUG_CPU is not set
75 # CONFIG_HP_WATCHDOG is not set
76 # CONFIG_HUGETLBFS is not set
77 # CONFIG_HVC_DRIVER is not set
78 # CONFIG_HVC_IRQ is not set
79 # CONFIG_HVC_XEN is not set
80 # CONFIG_I6300ESB_WDT is not set
81 # CONFIG_I8K is not set
82 # CONFIG_IB700_WDT is not set
83 # CONFIG_IBMASR is not set
84 # CONFIG_IMA is not set
85 # CONFIG_INPUT_YEALINK is not set
86 # CONFIG_INTEL_MENLOW is not set
87 # CONFIG_IOMMU_API is not set
88 # CONFIG_IOMMU_HELPER is not set
89 # CONFIG_IOMMU_STRESS is not set
90 # CONFIG_IO_DELAY_0XED is not set
91 # CONFIG_IO_DELAY_NONE is not set
92 # CONFIG_IO_DELAY_UDELAY is not set
93 # CONFIG_ISCSI_IBFT_FIND is not set
94 # CONFIG_IT8712F_WDT is not set
95 # CONFIG_IT87_WDT is not set
96 # CONFIG_ITCO_WDT is not set
97 # CONFIG_KEYBOARD_LKKBD is not set
98 # CONFIG_KEYBOARD_NEWTON is not set
99 # CONFIG_KEYBOARD_STOWAWAY is not set
100 # CONFIG_KEYBOARD_SUNKBD is not set
101 # CONFIG_KEYBOARD_XTKBD is not set
102 # CONFIG_KVM_CLOCK is not set
103 # CONFIG_KVM_GUEST is not set
104 # CONFIG_LANCE is not set
105 # CONFIG_LEDS_ALIX2 is not set
106 # CONFIG_LEDS_CLEVO_MAIL is not set
107 # CONFIG_LGUEST_GUEST is not set
108 # CONFIG_LOCK_KERNEL is not set
109 # CONFIG_M386 is not set
110 # CONFIG_M486 is not set
111 # CONFIG_M586 is not set
112 # CONFIG_M586MMX is not set
113 # CONFIG_M586TSC is not set
114 # CONFIG_M686 is not set
115 # CONFIG_MACHZ_WDT is not set
116 # CONFIG_MATOM is not set
117 # CONFIG_MCA is not set
118 # CONFIG_MCORE2 is not set
119 # CONFIG_MCRUSOE is not set
120 # CONFIG_MCYRIXIII is not set
121 # CONFIG_MDA_CONSOLE is not set
122 # CONFIG_MEFFICEON is not set
123 # CONFIG_MEMTEST is not set
124 # CONFIG_MGEODEGX1 is not set
125 # CONFIG_MGEODE_LX is not set
126 # CONFIG_MICROCODE_AMD is not set
127 # CONFIG_MIXCOMWD is not set
128 # CONFIG_MK6 is not set
129 # CONFIG_MK7 is not set
130 # CONFIG_MK8 is not set
131 # CONFIG_MOUSE_BCM5974 is not set
132 # CONFIG_MOUSE_PS2_ELANTECH is not set
133 # CONFIG_MOUSE_PS2_TOUCHKIT is not set
134 # CONFIG_MOUSE_SERIAL is not set
135 # CONFIG_MOUSE_VSXXXAA is not set
136 # CONFIG_MPENTIUM4 is not set
137 # CONFIG_MPENTIUMII is not set
138 # CONFIG_MPENTIUMIII is not set
139 # CONFIG_MPENTIUMM is not set
140 # CONFIG_MPSC is not set
141 # CONFIG_MTD_CFI is not set
142 # CONFIG_MTD_COMPLEX_MAPPINGS is not set
143 # CONFIG_MTD_TS5500 is not set
144 # CONFIG_MTRR_SANITIZER is not set
145 # CONFIG_MVIAC3_2 is not set
146 # CONFIG_MVIAC7 is not set
147 # CONFIG_MWINCHIP3D is not set
148 # CONFIG_MWINCHIPC6 is not set
149 # CONFIG_NET_NS is not set
150 # CONFIG_NET_VENDOR_RACAL is not set
151 # CONFIG_NET_VENDOR_SMC is not set
152 # CONFIG_NR_CPUS is not set
153 # CONFIG_NSC_GPIO is not set
154 # CONFIG_OLPC is not set
155 # CONFIG_OPTIMIZE_INLINING is not set
156 # CONFIG_PARAVIRT is not set
157 # CONFIG_PARAVIRT_CLOCK is not set
158 # CONFIG_PARAVIRT_GUEST is not set
159 # CONFIG_PARAVIRT_SPINLOCKS is not set
160 # CONFIG_PC8736x_GPIO is not set
161 # CONFIG_PC87413_WDT is not set
162 # CONFIG_PCIEPORTBUS is not set
163 # CONFIG_PCI_GOBIOS is not set
164 # CONFIG_PCI_GODIRECT is not set
165 # CONFIG_PCI_GOMMCONFIG is not set
166 # CONFIG_PCI_GOOLPC is not set
167 # CONFIG_PCWATCHDOG is not set
168 # CONFIG_PDA_POWER is not set
169 # CONFIG_PERF_COUNTERS is not set
170 # CONFIG_PERF_EVENTS is not set
171 # CONFIG_PHYS_ADDR_T_64BIT is not set
172 # CONFIG_PM_DEBUG is not set
173 # CONFIG_PM_RUNTIME is not set
174 # CONFIG_PM_SLEEP is not set
175 # CONFIG_PM_SLEEP_SMP is not set
176 # CONFIG_PNPBIOS is not set
177 # CONFIG_POWER_SUPPLY_DEBUG is not set
178 # CONFIG_PROCESSOR_SELECT is not set
179 # CONFIG_PROVIDE_OHCI1394_DMA_INIT is not set
180 # CONFIG_RELOCATABLE is not set
181 # CONFIG_RWSEM_GENERIC_SPINLOCK is not set
182 # CONFIG_SBC7240_WDT is not set
183 # CONFIG_SBC8360_WDT is not set
184 # CONFIG_SBC_EPX_C3_WATCHDOG is not set
185 # CONFIG_SC1200_WDT is not set
186 # CONFIG_SC520_WDT is not set
187 # CONFIG_SCHED_HRTICK is not set
188 # CONFIG_SCHED_MC is not set
189 # CONFIG_SCHED_SMT is not set
190 # CONFIG_SCSI_LOWLEVEL is not set
191 # CONFIG_SCx200_GPIO is not set
192 # CONFIG_SCx200_WDT is not set
193 # CONFIG_SERIAL_8250_EXTENDED is not set
194 # CONFIG_SERIO_CT82C710 is not set
195 # CONFIG_SERIO_PCIPS2 is not set
196 # CONFIG_SERIO_RAW is not set
197 # CONFIG_SLAB is not set
198 # CONFIG_SLUB_DEBUG_ON is not set
199 # CONFIG_SLUB_STATS is not set
200 # CONFIG_SMP is not set
201 # CONFIG_SMSC37B787_WDT is not set
202 # CONFIG_SMSC_SCH311X_WDT is not set
203 # CONFIG_SPARSE_IRQ is not set
204 # CONFIG_STOP_MACHINE is not set
205 # CONFIG_SUSPEND is not set
206 # CONFIG_SYS_HYPERVISOR is not set
207 # CONFIG_TC1100_WMI is not set
208 # CONFIG_TELCLOCK is not set
209 # CONFIG_THINKPAD_ACPI is not set
210 # CONFIG_TOPSTAR_LAPTOP is not set
211 # CONFIG_TOSHIBA is not set
212 # CONFIG_TREE_PREEMPT_RCU is not set
213 # CONFIG_TYPHOON is not set
214 # CONFIG_USER_NS is not set
215 # CONFIG_USE_GENERIC_SMP_HELPERS is not set
216 # CONFIG_VGACON_SOFT_SCROLLBACK is not set
217 # CONFIG_VMI is not set
218 # CONFIG_VORTEX is not set
219 # CONFIG_VT_HW_CONSOLE_BINDING is not set
220 # CONFIG_W83697UG_WDT is not set
221 # CONFIG_WAFER_WDT is not set
222 # CONFIG_WDT is not set
223 # CONFIG_X86_32_SMP is not set
224 # CONFIG_X86_64 is not set
225 # CONFIG_X86_ACPI_CPUFREQ is not set
226 # CONFIG_X86_ANCIENT_MCE is not set
227 # CONFIG_X86_BIGSMP is not set
228 # CONFIG_X86_CHECK_BIOS_CORRUPTION is not set
229 # CONFIG_X86_CMOV is not set
230 # CONFIG_X86_CMPXCHG64 is not set
231 # CONFIG_X86_CPUFREQ_NFORCE2 is not set
232 # CONFIG_X86_CPUID is not set
233 # CONFIG_X86_DEBUGCTLMSR is not set
234 # CONFIG_X86_DS is not set
235 # CONFIG_X86_ELAN is not set
236 # CONFIG_X86_EXTENDED_PLATFORM is not set
237 # CONFIG_X86_E_POWERSAVER is not set
238 # CONFIG_X86_GX_SUSPMOD is not set
239 # CONFIG_X86_HT is not set
240 # CONFIG_X86_LONGHAUL is not set
241 # CONFIG_X86_LONGRUN is not set
242 # CONFIG_X86_MCE_INJECT is not set
243 # CONFIG_X86_MRST is not set
244 # CONFIG_X86_MSR is not set
245 # CONFIG_X86_P4_CLOCKMOD is not set
246 # CONFIG_X86_PAE is not set
247 # CONFIG_X86_POWERNOW_K6 is not set
248 # CONFIG_X86_POWERNOW_K7 is not set
249 # CONFIG_X86_POWERNOW_K8 is not set
250 # CONFIG_X86_RDC321X is not set
251 # CONFIG_X86_REBOOTFIXUPS is not set
252 # CONFIG_X86_SPEEDSTEP_CENTRINO is not set
253 # CONFIG_X86_SPEEDSTEP_ICH is not set
254 # CONFIG_X86_SPEEDSTEP_LIB is not set
255 # CONFIG_X86_SPEEDSTEP_SMI is not set
256 # CONFIG_X86_TRAMPOLINE is not set
257 # CONFIG_X86_TSC is not set
258 # CONFIG_X86_USE_PPRO_CHECKSUM is not set
259 # CONFIG_XEN is not set
260 # CONFIG_XENFS is not set
261 # CONFIG_XEN_BALLOON is not set
262 # CONFIG_XEN_BLKDEV_FRONTEND is not set
263 # CONFIG_XEN_DEBUG_FS is not set
264 # CONFIG_XEN_DEV_EVTCHN is not set
265 # CONFIG_XEN_MAX_DOMAIN_MEMORY is not set
266 # CONFIG_XEN_NETDEV_FRONTEND is not set
267 # CONFIG_XEN_SAVE_RESTORE is not set
268 # CONFIG_XEN_SCRUB_PAGES is not set
269 # CONFIG_XEN_SYS_HYPERVISOR is not set
270 # CONFIG_ZONE_DMA32 is not set
273 CONFIG_ACPI_BLACKLIST_YEAR=0
274 CONFIG_ACPI_PROCESSOR=y
275 CONFIG_ACPI_SYSFS_POWER=y
276 CONFIG_ACPI_THERMAL=y
277 CONFIG_ARCH_DEFCONFIG="arch/x86/configs/i386_defconfig"
278 CONFIG_ARCH_HAS_CACHE_LINE_SIZE=y
279 CONFIG_ARCH_HAS_CPU_IDLE_WAIT=y
280 CONFIG_ARCH_HAS_CPU_RELAX=y
281 CONFIG_ARCH_HAS_DEFAULT_IDLE=y
282 CONFIG_ARCH_HIBERNATION_POSSIBLE=y
283 CONFIG_ARCH_MAY_HAVE_PC_FDC=y
284 CONFIG_ARCH_POPULATES_NODE_MAP=y
285 CONFIG_ARCH_SELECT_MEMORY_MODEL=y
286 CONFIG_ARCH_SPARSEMEM_ENABLE=y
287 CONFIG_ARCH_SUPPORTS_DEBUG_PAGEALLOC=y
288 CONFIG_ARCH_SUPPORTS_MEMORY_FAILURE=y
289 CONFIG_ARCH_SUPPORTS_MSI=y
290 CONFIG_ARCH_SUPPORTS_OPTIMIZED_INLINING=y
291 CONFIG_ARCH_SUSPEND_POSSIBLE=y
292 CONFIG_ARCH_USES_PG_UNCACHED=y
293 CONFIG_ARCH_WANT_FRAME_POINTERS=y
294 CONFIG_ARCH_WANT_OPTIONAL_GPIOLIB=y
302 CONFIG_CFG80211_DEFAULT_PS_VALUE=0
303 CONFIG_CLOCKSOURCE_WATCHDOG=y
305 CONFIG_CONSOLE_TRANSLATIONS=y
307 CONFIG_CPU_FREQ_DEFAULT_GOV_PERFORMANCE=y
308 CONFIG_CPU_FREQ_GOV_PERFORMANCE=y
309 CONFIG_CPU_FREQ_STAT=y
310 CONFIG_CPU_FREQ_STAT_DETAILS=y
311 CONFIG_CPU_FREQ_TABLE=y
313 CONFIG_CPU_IDLE_GOV_LADDER=y
315 CONFIG_CPU_SUP_CENTAUR=y
316 CONFIG_CPU_SUP_CYRIX_32=y
317 CONFIG_CPU_SUP_INTEL=y
318 CONFIG_CPU_SUP_TRANSMETA_32=y
319 CONFIG_CPU_SUP_UMC_32=y
320 CONFIG_DEBUG_MEMORY_INIT=y
321 CONFIG_DECOMPRESS_BZIP2=y
322 CONFIG_DECOMPRESS_GZIP=y
323 CONFIG_DECOMPRESS_LZMA=y
324 CONFIG_DEFAULT_IO_DELAY_TYPE=0
329 CONFIG_DUMMY_CONSOLE=y
330 CONFIG_EARLY_PRINTK=y
333 CONFIG_FIRMWARE_IN_KERNEL=y
334 CONFIG_FIRMWARE_MEMMAP=y
335 CONFIG_FIX_EARLYCON_MEM=y
337 CONFIG_GENERIC_CLOCKEVENTS=y
338 CONFIG_GENERIC_CLOCKEVENTS_BROADCAST=y
339 CONFIG_GENERIC_CLOCKEVENTS_BUILD=y
340 CONFIG_GENERIC_CMOS_UPDATE=y
341 CONFIG_GENERIC_FIND_FIRST_BIT=y
342 CONFIG_GENERIC_FIND_LAST_BIT=y
343 CONFIG_GENERIC_FIND_NEXT_BIT=y
344 CONFIG_GENERIC_HARDIRQS_NO__DO_IRQ=y
345 CONFIG_GENERIC_IOMAP=y
346 CONFIG_GENERIC_ISA_DMA=y
351 CONFIG_HAVE_ARCH_KGDB=y
352 CONFIG_HAVE_ARCH_KMEMCHECK=y
353 CONFIG_HAVE_ARCH_TRACEHOOK=y
354 CONFIG_HAVE_ATOMIC_IOMAP=y
355 CONFIG_HAVE_DMA_API_DEBUG=y
356 CONFIG_HAVE_DMA_ATTRS=y
357 CONFIG_HAVE_DYNAMIC_FTRACE=y
358 CONFIG_HAVE_EFFICIENT_UNALIGNED_ACCESS=y
359 CONFIG_HAVE_FTRACE_MCOUNT_RECORD=y
360 CONFIG_HAVE_FUNCTION_GRAPH_FP_TEST=y
361 CONFIG_HAVE_FUNCTION_GRAPH_TRACER=y
362 CONFIG_HAVE_FUNCTION_TRACER=y
363 CONFIG_HAVE_FUNCTION_TRACE_MCOUNT_TEST=y
364 CONFIG_HAVE_GENERIC_DMA_COHERENT=y
366 CONFIG_HAVE_IOREMAP_PROT=y
367 CONFIG_HAVE_KERNEL_BZIP2=y
368 CONFIG_HAVE_KERNEL_GZIP=y
369 CONFIG_HAVE_KERNEL_LZMA=y
370 CONFIG_HAVE_KERNEL_LZO=y
371 CONFIG_HAVE_KPROBES=y
372 CONFIG_HAVE_KRETPROBES=y
374 CONFIG_HAVE_LATENCYTOP_SUPPORT=y
375 CONFIG_HAVE_MMIOTRACE_SUPPORT=y
376 CONFIG_HAVE_OPROFILE=y
377 CONFIG_HAVE_SETUP_PER_CPU_AREA=y
378 CONFIG_HAVE_SYSCALL_TRACEPOINTS=y
379 CONFIG_HAVE_UNSTABLE_SCHED_CLOCK=y
383 CONFIG_HPET_EMULATE_RTC=y
389 CONFIG_HW_RANDOM_GEODE=y
390 CONFIG_HW_RANDOM_VIA=y
391 CONFIG_INITRAMFS_SOURCE=""
393 CONFIG_INPUT_KEYBOARD=y
395 CONFIG_INPUT_MOUSEDEV=y
396 CONFIG_INPUT_MOUSEDEV_PSAUX=y
397 CONFIG_INPUT_MOUSEDEV_SCREEN_X=1024
398 CONFIG_INPUT_MOUSEDEV_SCREEN_Y=768
399 CONFIG_IO_DELAY_0X80=y
400 CONFIG_IO_DELAY_TYPE_0X80=0
401 CONFIG_IO_DELAY_TYPE_0XED=1
402 CONFIG_IO_DELAY_TYPE_NONE=3
403 CONFIG_IO_DELAY_TYPE_UDELAY=2
409 CONFIG_KEYBOARD_ATKBD=y
410 CONFIG_KTIME_SCALAR=y
411 CONFIG_MATH_EMULATION=y
413 CONFIG_MICROCODE_INTEL=y
414 CONFIG_MICROCODE_OLD_INTERFACE=y
416 CONFIG_MOUSE_PS2_ALPS=y
417 CONFIG_MOUSE_PS2_LIFEBOOK=y
418 CONFIG_MOUSE_PS2_LOGIPS2PP=y
419 CONFIG_MOUSE_PS2_SYNAPTICS=y
420 CONFIG_MOUSE_PS2_TRACKPOINT=y
421 CONFIG_MTD_BLOCK2MTD=y
424 CONFIG_NEED_PER_CPU_EMBED_FIRST_CHUNK=y
425 CONFIG_NEED_PER_CPU_PAGE_FIRST_CHUNK=y
426 CONFIG_NETWORK_FILESYSTEMS=y
427 CONFIG_NET_VENDOR_3COM=y
430 CONFIG_OUTPUT_FORMAT="elf32-i386"
431 CONFIG_PAGEFLAGS_EXTENDED=y
432 CONFIG_PAGE_OFFSET=0xC0000000
435 CONFIG_PATA_OLDPIIX=y
442 CONFIG_PCI_MMCONFIG=y
444 CONFIG_PCSPKR_PLATFORM=y
445 CONFIG_PHYSICAL_ALIGN=0x100000
446 CONFIG_PHYSICAL_START=0x1000000
450 CONFIG_PNP_DEBUG_MESSAGES=y
451 CONFIG_POWER_SUPPLY=y
452 CONFIG_PROC_PAGE_MONITOR=y
456 CONFIG_RWSEM_XCHGADD_ALGORITHM=y
457 CONFIG_SCHED_OMIT_FRAME_POINTER=y
460 CONFIG_SCx200HR_TIMER=y
461 CONFIG_SERIAL_8250_PCI=y
462 CONFIG_SERIAL_8250_PNP=y
465 CONFIG_SERIO_LIBPS2=y
466 CONFIG_SERIO_SERPORT=y
469 CONFIG_SPARSEMEM_STATIC=y
470 CONFIG_STRICT_DEVMEM=y
475 CONFIG_USER_STACKTRACE_SUPPORT=y
478 CONFIG_VM_EVENT_COUNTERS=y
483 CONFIG_X86_32_LAZY_GS=y
487 CONFIG_X86_F00F_BUG=y
489 CONFIG_X86_INTEL_USERCOPY=y
490 CONFIG_X86_INTERNODE_CACHE_BYTES=64
493 CONFIG_X86_L1_CACHE_BYTES=64
494 CONFIG_X86_L1_CACHE_SHIFT=6
495 CONFIG_X86_LOCAL_APIC=y
498 CONFIG_X86_MCE_INTEL=y
499 CONFIG_X86_MCE_THRESHOLD=y
500 CONFIG_X86_MINIMUM_CPU_FAMILY=4
503 CONFIG_X86_PLATFORM_DEVICES=y
504 CONFIG_X86_PM_TIMER=y
505 CONFIG_X86_POPAD_OK=y
506 CONFIG_X86_PPRO_FENCE=y
507 CONFIG_X86_REROUTE_FOR_BROKEN_BOOT_IRQS=y
508 CONFIG_X86_RESERVE_LOW_64K=y
509 CONFIG_X86_SUPPORTS_MEMORY_FAILURE=y
510 CONFIG_X86_THERMAL_VECTOR=y
512 CONFIG_X86_UP_IOAPIC=y
513 CONFIG_X86_VERBOSE_BOOTUP=y
514 CONFIG_X86_WP_WORKS_OK=y