BIOS: Reenable processor SSDT generation. Don't advertise ACPI C2 or C3 support. Thanks to Avi Kivity for the pointer.
Changed paths: