de-linting of .s files

*** 108,125 ****
  #include <sys/privregs.h>
  #include <sys/psw.h>
  #include <sys/machbrand.h>
  #include <sys/param.h>
  
- #if defined(__lint)
- 
- #include <sys/types.h>
- #include <sys/thread.h>
- #include <sys/systm.h>
- 
- #else   /* __lint */
- 
  #include <sys/segments.h>
  #include <sys/pcb.h>
  #include <sys/trap.h>
  #include <sys/ftrace.h>
  #include <sys/traptrace.h>
--- 108,117 ----
*** 816,821 ****
  .align MMU_PAGESIZE
  .global kpti_tramp_end
  kpti_tramp_end:
          nop
  
- #endif  /* __lint */
--- 808,812 ----