[opensuse-kernel] [PATCH] ARM: disable Xen for now since it is currently broken