ACPI: processor: export acpi_get_cpuid()