[opensuse-factory] Tumbleweed: kernel-xen build failure