Xen / ACPI / processor: use invalid_logical_cpuid()