de-linting of .s files

*** 22,37 ****
  /*
   * Copyright 2009 Sun Microsystems, Inc.  All rights reserved.
   * Use is subject to license terms.
   */
  
- #if defined(__lint)
- 
- int silence_lint_warnings = 0;
- 
- #else /* __lint */
- 
  #include <sys/multiboot.h>
  #include <sys/multiboot2.h>
  #include <sys/asm_linkage.h>
  #include <sys/segments.h>
  #include <sys/controlregs.h>
--- 22,31 ----
*** 370,375 ****
          .skip 4096
  #include "../boot/boot_gdt.s"
          .skip 4096
          .long   0
  
- #endif /* __lint */
--- 364,368 ----