de-linting of .s files

*** 18,28 ****
  #include <sys/asm_misc.h>
  #include <sys/param.h>
  #include <sys/comm_page.h>
  #include <sys/tsc.h>
  
! #if defined(_GENCTF) || defined(__lint)
  
  hrtime_t tsc_last;
  hrtime_t tsc_resume_cap;
  hrtime_t tsc_hrtime_base;
  uint32_t tsc_max_delta;
--- 18,28 ----
  #include <sys/asm_misc.h>
  #include <sys/param.h>
  #include <sys/comm_page.h>
  #include <sys/tsc.h>
  
! #if defined(_GENCTF)
  
  hrtime_t tsc_last;
  hrtime_t tsc_resume_cap;
  hrtime_t tsc_hrtime_base;
  uint32_t tsc_max_delta;
*** 35,45 ****
  volatile timestruc_t hrestime;
  hrtime_t tsc_sync_tick_delta[NCPU];
  
  comm_page_t comm_page;
  
! #else /* defined(_GENCTF) || defined(__lint) */
  
  #include "assym.h"
  
  /*
   * x86 Comm Page
--- 35,45 ----
  volatile timestruc_t hrestime;
  hrtime_t tsc_sync_tick_delta[NCPU];
  
  comm_page_t comm_page;
  
! #else /* defined(_GENCTF) */
  
  #include "assym.h"
  
  /*
   * x86 Comm Page
*** 83,88 ****
          .fill   _CONST(NCPU), 8, 0
  
          /* pad out the rest of the page from the struct end */
          .fill   _CONST(COMM_PAGE_SIZE - COMM_PAGE_S_SIZE), 1, 0
  
! #endif /* defined(_GENCTF) || defined(__lint) */
--- 83,88 ----
          .fill   _CONST(NCPU), 8, 0
  
          /* pad out the rest of the page from the struct end */
          .fill   _CONST(COMM_PAGE_SIZE - COMM_PAGE_S_SIZE), 1, 0
  
! #endif /* defined(_GENCTF) */