Updated PKGBUILD for the linux kernel driver