Attempt move of kernel.c with topgit