../ kernel-default-6.4.11-1.1.g56d71a6.ppc64.rpm 22-Aug-2023 18:16 90M kernel-default-devel-6.4.11-1.1.g56d71a6.ppc64.rpm 22-Aug-2023 18:16 6M kernel-default-livepatch-devel-6.4.11-1.1.g56d7..> 22-Aug-2023 18:16 6M