Re: [PATCH v3 15/30] acpi: Add processor device