ACPI / processor: remove cpu_index in acpi_processor_get_info()