7 i586 x86_64 kernel-debug kernel-default kernel-desktop kernel-pae kernel-vanilla 8 14 i586 x86_64 kernel-obs-qa kvm i586 x86_64 kernel-obs-qa-xen xen