ACPI: processor and thermal modules