Contanto que o kernel seja a versão mais recente, ele será listado primeiro na lista de inicialização do GRUB. No Ubuntu, o kernel não será substituído pelo novo. Portanto, mesmo que o atualizador traga o 3.13 em seu sistema (alegadamente), o kernel 3.12 ainda permanecerá.
Você precisa saber que o carregador de boot GRUB lista automaticamente o kernel mais novo primeiro e isso depende do número / versão / número de upload / do kernel.
Portanto, 3.11 considerado como mais antigo que 3.12 e exceto que ele nunca será substituído, já que é o mais novo que será listado primeiro no menu do GRUB.
Embora a partir da versão eu possa assumir que você está usando um kernel mainline, leia aqui sobre os kernels da linha principal.
% bl0ck_qu0te%Tanto quanto eu sei, não. Você deve atualizar esses kernels não oficiais sozinho.