Updated 2013-07-05-kernel.md