[opensuse-kernel] removing Xen 32-bit host support