4663 apic_cr8pri complicates pcplusmp

*** 369,381 ****
          psm_get_localapicid = apic_get_localapicid;
          psm_get_ioapicid = apic_get_ioapicid;
  
          apix_softinit();
  #if defined(__amd64)
-         /*
-          * Make cpu-specific interrupt info point to cr8pri vector
-          */
          CPU->cpu_pri_data = dummy_cpu_pri;
  #else
          if (cpuid_have_cr8access(CPU))
                  apic_have_32bit_cr8 = 1;
  #endif  /* __amd64 */
--- 369,378 ----