../ kernel-default-6.4.11-1.1.g56d71a6.armv7hl.rpm 22-Aug-2023 21:06 94M kernel-default-devel-6.4.11-1.1.g56d71a6.armv7h..> 22-Aug-2023 21:06 7M kernel-default-livepatch-devel-6.4.11-1.1.g56d7..> 22-Aug-2023 21:06 6M