Re: koji/f19 problem: kernel-xen.fc10 (!) pulled in for kernel?