update kernel.txt