Acpi Genuineintel---intel64-family-6-model-58 _top_ Online
The problem is that Intel CPUs evolve rapidly, and each microarchitecture handles power transitions slightly differently. ACPI tables (the DSDT/SSDT) are written by the motherboard vendor (BIOS/UEFI) and are often generic. The Linux kernel, upon boot, reads the ACPI tables, then checks the actual CPUID. When it sees family=6, model=58 , it knows:
x86-64, MMX, SSE4.2, AVX, AES-NI, and F16C. Representative Processors acpi genuineintel---intel64-family-6-model-58