../ kernel-default-5.17.9-1.1.g2de6c9f.armv7hl.rpm 23-May-2022 17:23 136674442 kernel-default-devel-5.17.9-1.1.g2de6c9f.armv7h..> 23-May-2022 17:23 6308939 kernel-default-livepatch-devel-5.17.9-1.1.g2de6..> 23-May-2022 17:23 5316212