PKG:lib64-kernel-dbg: kernel-dbg