Changes in the README.md file, and minor kernel changes