FC7 going to be released with broken/crashing/freezing kernel-xen ?