Keep kernel.img in repo