../ kernel-default-6.0~rc1-3.1.g2fae8fb.armv7hl.rpm 21-Aug-2022 15:06 87M kernel-default-devel-6.0~rc1-3.1.g2fae8fb.armv7..> 21-Aug-2022 15:06 3M kernel-default-livepatch-devel-6.0~rc1-3.1.g2fa..> 21-Aug-2022 15:06 3M