kernel-64kb kernel-debug kernel-default kernel-lpae kernel-pae kernel-syzkaller kernel-vanilla 25 2 kernel-source kernel-source-rt 8 s390x kernel-64kb kernel-debug kernel-default kernel-lpae kernel-pae kernel-syzkaller kernel-vanilla 10 i586 x86_64 kernel-64kb kernel-debug kernel-default kernel-lpae kernel-pae kernel-syzkaller kernel-vanilla 8 ppc ppc64 ppc64le kernel-64kb kernel-debug kernel-default kernel-lpae kernel-pae kernel-syzkaller kernel-vanilla 4 i586 x86_64 kernel-obs-qa kvm i586 x86_64 kernel-obs-qa-xen xen