Acabei de instalar simplesmente um kernel posterior. Você ficaria surpreso com o quão fácil isso é. Simplesmente procurar o packages.ubuntu.com por pacotes do kernel me permitiu encontrar os pacotes que eu precisava. Eu precisava instalar essencialmente linux-image-3.X.* , linux-image-extra-3.X.* e linux-headers-3.X.* . Publicação de um bonito e brilhante Linux de inicialização por EFI.