[07:55] <ice9> how the kernel in ubuntu is different than the Debian's kernel?