Para saber qual o Kernel o seu sistema está utilizando, basta ir ao Menu Sistema - Administração - Monitor do Sistema, ou ainda, no Terminal, digitar:
uname -a