BIOS: Reenable processor SSDT generation. Don't advertise ACPI C2 or C3