Re: [opensuse-kernel] Running XEN Kernel with EFI