linux-mainline.install: get kernel version from extramodules-mainline/version
PKGBUILD: copy vmlinux to /usr/src/