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