Update Kernel.txt