minor changes, updates in kernel.pdf