When backuping the kernel, backup also its SHA1 file