SET GRUB_DEFAULT = 0 é para todos os efeitos, um número de índice indicando a primeira entrada.
Se sua intenção é modificar uma entrada existente para usar um kernel diferente, você pode editar /etc/boot/grub/grub.cfg encontrar a linha apropriada e ajustar por exemplo:
linux /boot/vmlinuz-3.13.0-86-generic root=UUID=03a31723-1f61-4bae-ae5d-403cd35d0adc (and etc)
e mude o bit vmlinuz-x.xx-x-xx-blahblah para apontar para o seu kernel preferido.
O acima é um pouco de truque e pode quebrar na próxima atualização. (Eu fiz essas coisas em drives flash inicializando ISOs que nunca mudam e nunca atualizo o grub neles.)
Se a sua intenção é simplesmente selecionar um kernel já no menu grub como padrão, eu acho que você encontrará o poderoso grub customizer por Daniel Richter bastante útil.
Você pode clicar com o botão direito em uma entrada do kernel na configuração da lista e escolher movê-la para cima ou para baixo ou editá-la.
Na guia Configurações gerais, você pode facilmente selecionar e definir a entrada padrão por nome na lista de entradas predefinidas (conforme indicado na sua pergunta). Veja a imagem abaixo para um exemplo:
Salve suas alterações, reinicie e aproveite sua nova entrada de inicialização padrão.