[PATCH v1 24/54] acpi: Add support for generating processor tables