../ kernel-default-5.19.2-1.1.ge3d4124.armv7hl.rpm 19-Aug-2022 12:44 89M kernel-default-devel-5.19.2-1.1.ge3d4124.armv7h..> 19-Aug-2022 12:44 6M kernel-default-livepatch-devel-5.19.2-1.1.ge3d4..> 19-Aug-2022 12:44 5M