de-linting of .s files

*** 22,43 ****
  /*
   * Copyright 2008 Sun Microsystems, Inc.  All rights reserved.
   * Use is subject to license terms.
   */
  
- #pragma ident   "%Z%%M% %I%     %E% SMI"
- 
- #if defined(__lint)
- 
- /*
-  * Stop lint complaining about an empty compilation unit!
-  * Sigh.  There should be a better way to handle this.
-  */
- int __lint_xen_guest;
- 
- #else   /* __lint */
- 
  #include <xen/public/elfnote.h>
  
  /*
   * A note is a name/value pair that belongs to some class.
   */
--- 22,31 ----
*** 62,67 ****
          NOTE("Xen", XEN_ELFNOTE_PADDR_OFFSET, .4byte, 0x40000000)
  #if defined(__i386)
          NOTE("Xen", XEN_ELFNOTE_PAE_MODE, .string, "yes,bimodal")
  #endif
  
- #endif /* __lint */
--- 50,54 ----