9600 LDT still not happy under KPTI

*** 360,374 ****
          CPU->cpu_id = 0;
  
          CPU->cpu_pri = 12;              /* initial PIL for the boot CPU */
  
          /*
-          * The kernel doesn't use LDTs unless a process explicitly requests one.
-          */
-         p0.p_ldt_desc = null_sdesc;
- 
-         /*
           * Initialize thread/cpu microstate accounting
           */
          init_mstate(&t0, LMS_SYSTEM);
          init_cpu_mstate(CPU, CMS_SYSTEM);
  
--- 360,369 ----