apt-cache policy linux-image linux-image-generic
informará a versão do kernel "mais recente" (esses dois meta-pacotes dependem do "kernel mais recente").
Assim, você verá que, atualmente, a versão 3.5.0.25 é a mais recente, que seria extraída por atualizações de segurança.
Sobre o que está sendo executado no seu sistema, você pode vê-lo na saída de uname -a
: 3.5.0-24-generic
.
E quando os patches de segurança são aplicados a um kernel, sua versão fica "sobrecarregada", portanto, se houver patches de segurança necessários, você obterá o com 3.5.0.24 ou qualquer versão seguinte. Portanto, é possível pular 3.0.25 e aguardar a próxima atualização (ou posterior).
Em uma das minhas máquinas eu tive que pular 3.5.23 e 3.5.24 por exemplo.