de-linting of .s files

@@ -108,18 +108,10 @@
 #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>

@@ -816,6 +808,5 @@
 .align MMU_PAGESIZE
 .global kpti_tramp_end
 kpti_tramp_end:
         nop
 
-#endif  /* __lint */