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