se você excutar o comando sudo update-grub
, ele atualizará sua lista de inicialização do grub para apontar para o kernel 3.16.0-35, portanto, será o kernel padrão.
o que você tem é um caso em que você inicializou usando 3.13 ao invés do kernel "latest on your machine" que é 3.16.0-24