4664 CPU->cpu_pri_data hasn't been used for years

*** 410,424 ****
          } else {
                  cp->cpu_idt = CPU->cpu_idt;
          }
  
          /*
-          * Get interrupt priority data from cpu 0.
-          */
-         cp->cpu_pri_data = CPU->cpu_pri_data;
- 
-         /*
           * alloc space for cpuid info
           */
          cpuid_alloc_space(cp);
  #if !defined(__xpv)
          if (is_x86_feature(x86_featureset, X86FSET_MWAIT) &&
--- 410,419 ----