apic_cluster
if (apicid == BAD_APICID || cpu_i == cpu || apic_cluster(apicid) != cluster)
if (apicid != BAD_APICID && apic_cluster(apicid) == cluster) {
u32 cluster = apic_cluster(phys_apicid);