Não está claro a partir de sua descrição o gerenciador de inicialização e o gerenciador de inicialização que você está usando. Se você estiver usando o GRUB, a sugestão de Frank pode funcionar, pelo menos no curto prazo. (Pode haver problemas se / quando novas atualizações do kernel aparecerem, caso o kernel 3.5.0 seja excluído).
Parece que você pode estar usando o carregador de stubs da EFI, . Nesse caso, você deve estar ciente de que alguns usuários começaram a ter problemas com ele nas séries 3.7.xe 3.8.x. A causa ainda não está clara. Este tópico no fórum Arch Linux discute o problema em detalhes. Se você estiver com esse problema, então, uma reconfiguração do gerenciador de inicialização para inicializar o 3.5.0 por padrão ou a comutação do carregador stub EFI para outro carregador de inicialização (como GRUB 2 ou ELILO) está em ordem. Reconfigurar seu gerenciador de inicialização requer saber qual você está usando e, talvez, como você está usando.