PKG:lib32-kernel-devsrc-dev: kernel-devsrc-dev