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