XEN devices included in kernel even if not XEN

[Paul Goyette <paul%whooppee.com@localhost>]

I've noticed that device drivers listed in arch/xen/conf/files.xen
(or, at least, most of those devices) seem to be included in kernel
even if not using XEN.  Shouldn't all those devices be conditional?

# sysctl -a | grep driver | tr ',' '\n' | grep 'x[be]*'
...
 [141 -1 xenevt]
 [142 142 xbd]
 [143 -1 xencons]
# tail $OBJDIR/amd64/sys/arch/amd64/compile/SPEEDY/opt_xen.h
#endif
/* option `XEN' not defined */   <<<<<<<<<<<<<<<<<<<<<<<<<<<<<<
#ifdef _LOCORE
 .ifndef _KERNEL_OPT_XEN
 .global _KERNEL_OPT_XEN
 .equiv _KERNEL_OPT_XEN,0x6e074def
 .endif
#else
__asm(" .ifndef _KERNEL_OPT_XEN\n .global _KERNEL_OPT_XEN\n .equiv 
_KERNEL_OPT_XEN,0x6e074def\n .endif");
#endif


+--------------------+--------------------------+----------------------+
| Paul Goyette       | PGP Key fingerprint:     | E-mail addresses:    |
| (Retired)          | FA29 0E3B 35AF E8AE 6651 | paul%whooppee.com@localhost    |
| Software Developer | 0786 F758 55DE 53BA 7731 | pgoyette%netbsd.org@localhost  |
| & Network Engineer |                          | pgoyette99%gmail.com@localhost |
+--------------------+--------------------------+----------------------+