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