Re: [opensuse-kernel] kernel-xen BUG in Factory with 3.17.4