In README.md, correct the section on how to generate the kernel.