7 i586 x86_64 kernel-debug kernel-default kernel-ec2 kernel-lpae kernel-pae kernel-pv kernel-vanilla kernel-xen 8 14 ppc ppc64 ppc64le kernel-debug kernel-default kernel-ec2 kernel-lpae kernel-pae kernel-pv kernel-vanilla kernel-xen 4 14 i586 x86_64 kernel-obs-qa kvm i586 x86_64 kernel-obs-qa-xen xen