../ kernel-default-6.4.1-1.1.g29059d3.armv7hl.rpm 07-Jul-2023 18:35 90M kernel-default-devel-6.4.1-1.1.g29059d3.armv7hl..> 07-Jul-2023 18:35 3M kernel-default-livepatch-devel-6.4.1-1.1.g29059..> 07-Jul-2023 18:35 2M