Seu kernel não está completamente atualizado - a versão mais nova deve estar disponível se você fizer upgrade para o 13.10 de 13.04, o que é possível com o do-release-upgrade ou com o atualizador de software. Então seu kernel pode ser atualizado automaticamente.