PKG:lib64-kernel-image: kernel-image