../ kernel-default-6.16.0-1.1.gbb16b42.ppc64le.rpm 01-Aug-2025 16:36 97444208 kernel-default-devel-6.16.0-1.1.gbb16b42.ppc64l..> 01-Aug-2025 16:36 6884657 kernel-default-livepatch-devel-6.16.0-1.1.gbb16..> 01-Aug-2025 16:36 20926299