Re: [PATCH] ACPI: processor: Fix build when CONFIG_ACPI_PROCESSOR=m