[17179569.184000] Using ACPI (MADT) for SMP configuration information
[17179569.184000] Allocating PCI resources starting at 40000000 (gap: 38000000:c7780000)
[17179572.076000] Calibrating delay using timer specific routine.. 3595.30 BogoMIPS (lpj=7190610)
[17179572.092000] SMP alternatives: switching to UP code
[17179575.892000] ATIIXP: not 100% native mode: will probe irqs later