../ kernel-default-6.4.9-1.1.g7d7b209.ppc64le.rpm 13-Aug-2023 14:43 89M kernel-default-devel-6.4.9-1.1.g7d7b209.ppc64le..> 13-Aug-2023 14:43 7M kernel-default-livepatch-devel-6.4.9-1.1.g7d7b2..> 13-Aug-2023 14:43 6M