de-linting of .s files

*** 25,55 ****
   */
  
  #include <sys/asm_linkage.h>
  #include <sys/asm_misc.h>
  
- #if defined(__lint)
- 
- #include "dboot_asm.h"
- 
- /* ARGSUSED */
- uint32_t
- get_cpuid_edx(uint32_t *eax)
- { return (0); }
- 
- /* ARGSUSED */
- void
- outb(int port, uint8_t value)
- {}
- 
- /* ARGSUSED */
- uint8_t
- inb(int port)
- { return (0); }
- 
- #else /* __lint */
- 
  #if defined(__amd64)
  
          /*
           * do a cpuid instruction, returning the eax/edx values
           *
--- 25,34 ----
*** 138,143 ****
          ret
          SET_SIZE(htonl)
  
  #endif  /* __i386 */
  
- #endif /* __lint */
--- 117,121 ----