ACPI: SSDT 0x00000000BF6E1800 0001C4 (v01 INTEL CpuPm) ACPI: Local APIC address 0xfee00000 acpi_cpufreq: overriding BIOS provided _PSD data Intel(R) Core(TM)2 Duo CPU E8500 @ 3.16GHz stepping 0a ACPI: Core2 Duo (Penryn) detected
When booting a kernel on a Penryn system, you'll see: acpi genuineintel---intel64-family-6-model-23