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.