PKGBUILD for linux mainline kernel located in local filesystem