PKG:lib64-kernel: kernel