linux: simplify PKGBUILD slightly