*** netbsd/kernel.cc.orig	Thu May  7 12:02:24 1998
--- netbsd/kernel.cc	Thu May  7 12:03:11 1998
***************
*** 25,31 ****
                                        many cpu states there are.  */
  #ifndef XOSVIEW_FREEBSD
  #include <sys/device.h>
! #include <sys/disklabel.h>
  #include <sys/disk.h>		/*  For disk statistics.  */
  #endif
  
--- 25,31 ----
                                        many cpu states there are.  */
  #ifndef XOSVIEW_FREEBSD
  #include <sys/device.h>
! /* #include <sys/disklabel.h> */
  #include <sys/disk.h>		/*  For disk statistics.  */
  #endif
  
