PKG:lib32-kernel-devsrc-doc: kernel-devsrc-doc