Xen DomU: make sure kernel is gzip compressed, pygrub cannot handle xz

SVN-Revision: 28197

target/linux/x86/xen_domu/config-default

@@ -14,6 +14,11 @@ CONFIG_HVC_DRIVER=y
 CONFIG_HVC_IRQ=y
 CONFIG_HVC_XEN=y
 CONFIG_ISA_DMA_API=y
+CONFIG_KERNEL_GZIP=y
+# CONFIG_KERNEL_BZIP2 is not set
+# CONFIG_KERNEL_LZMA is not set
+# CONFIG_KERNEL_LZO is not set
+# CONFIG_KERNEL_XZ is not set
 # CONFIG_KVM_CLOCK is not set
 # CONFIG_KVM_GUEST is not set
 # CONFIG_LGUEST_GUEST is not set