Update KernelClaim.txt