Comment 10 for bug 140635

Hello! Here is what my screen displays at the moment of the crash
@ normal boot (hopefully i have written down all characters correctly)

...
... ACPI: Core revision 20070126
... ACPI: Looking for DSDT in initramfs... error, file /DSDT.anl not found
... Using local APIC timer interrupts
... result 10390620
... Detected 10.390 MHz APIC timer
... SMP alternatives: switching to SMP code
... Booting processor 1/2 APIC 0x1
... Initializing CPU#1
... Calibrating delay using timer specific routine 3990.10 BogoMIPS (lpj=7980213)
... CPU L1 cache: 32K, L1 D cache: 32K
... CPU: L2 cache: 4096K
... CPU 1/1 -> Mode 0
... CPU: Physical Processor ID:0
... CPU: Processor Core ID: 1
... CPU1 Thermal monitoring enabled (TM2)
... Intel Core(TM)2 CPU T7200 @ 2.00 GHz stepping 06
... checking TSC synchronization [CPU#0 -> CPU#1]: passed
... Brought up 2 CPUs
... migration_cost=36
... NET: Registered protocol family 16
12.136... ACPI: bus type pci registered
12.136... PCI: Using configuration type 1
12.138... ACPI : EC: GPE=0x16, ports=0x66, 0x62