Fix git version of kernel script