Update docs, remove Kernel (became useless)