=== guiverc2 is now known as guiverc [07:55] how the kernel in ubuntu is different than the Debian's kernel?