ACPI / processor: Introduce invalid_logical_cpuid()