PKGBUILD for linux kernel located in local filesystem