conf/files.xen changes proposal

[rudolf <netbsd%eq.cz@localhost>]

Hi,

I'd like to propose the attached changes to sys/arch/xen/conf/files.xen:

1) enable configuration of XEN_DOM0 kernel without "options CPU_UCODE"
2) enable configuration of XEN_DOM0 kernel with "sdhc* at pci?", "sdmmc* 
at sdhc?", "ld* at sdmmc?"

r.

--- sys/arch/xen/conf/files.xen.orig    2013-06-23 18:41:43.000000000 +0200
+++ sys/arch/xen/conf/files.xen 2013-06-23 18:46:38.000000000 +0200
@@ -93,8 +93,8 @@
 file   arch/xen/x86/xen_intr.c
 file   arch/xen/x86/xenfunc.c
 
-file   arch/xen/xen/xen_ucode.c        dom0ops | cpu_ucode needs-flag
-file   arch/x86/x86/cpu_ucode_amd.c    dom0ops | cpu_ucode needs-flag
+file   arch/xen/xen/xen_ucode.c        cpu_ucode needs-flag
+file   arch/x86/x86/cpu_ucode_amd.c    cpu_ucode needs-flag
 
 file   arch/xen/xen/xen_machdep.c
 file   arch/xen/xen/xen_debug.c
@@ -375,6 +375,8 @@
 # Bluetooth
 include "dev/bluetooth/files.bluetooth"
 
+include "dev/sdmmc/files.sdmmc"
+
 #
 # CARDBUS
 #