[PATCH v4 26/59] acpi: Add support for generating processor tables