../ kernel-default-6.4.11-1.1.g56d71a6.ppc64le.rpm 22-Aug-2023 16:54 89M kernel-default-devel-6.4.11-1.1.g56d71a6.ppc64l..> 22-Aug-2023 16:54 7M kernel-default-livepatch-devel-6.4.11-1.1.g56d7..> 22-Aug-2023 16:54 6M