Mine

Dec 12 13:35:35 talk2 kernel: ACPI: LAPIC (acpi_id[0x00] lapic_id[0x00] enabled)
Dec 12 13:35:35 talk2 kernel: ACPI: LAPIC (acpi_id[0x01] lapic_id[0x01] enabled)
Dec 12 13:35:35 talk2 kernel: ACPI: LAPIC (acpi_id[0x02] lapic_id[0x02] disabled)
Dec 12 13:35:35 talk2 kernel: ACPI: LAPIC (acpi_id[0x03] lapic_id[0x03] disabled)
Dec 12 13:35:35 talk2 kernel: ACPI: LAPIC_NMI (acpi_id[0x00] high edge lint[0x1])
Dec 12 13:35:35 talk2 kernel: ACPI: LAPIC_NMI (acpi_id[0x01] high edge lint[0x1])
Dec 12 13:35:35 talk2 kernel: ACPI: LAPIC_NMI (acpi_id[0x02] high edge lint[0x1])
Dec 12 13:35:35 talk2 kernel: ACPI: LAPIC_NMI (acpi_id[0x03] high edge lint[0x1])
Dec 12 13:35:43 talk2 kernel: ACPI Exception (acpi_processor-0681): AE_NOT_FOUND, Processor Device is not present [20060707]
Dec 12 13:35:43 talk2 kernel: ACPI: Getting cpuindex for acpiid 0x2
Dec 12 13:35:43 talk2 kernel: ACPI Exception (acpi_processor-0681): AE_NOT_FOUND, Processor Device is not present [20060707]
Dec 12 13:35:43 talk2 kernel: ACPI: Getting cpuindex for acpiid 0x3
Dec 12 13:35:44 talk2 kernel: ibm_acpi: ec object not found
Dec 12 13:35:44 talk2 kernel: acpi-cpufreq: CPU0 - ACPI performance management activated.
Dec 12 13:35:44 talk2 kernel: acpi-cpufreq: CPU1 - ACPI performance management activated.