Greg KH anunciou a primeira atualização do LinuxKernel 3.13. Se você estiver usando o primeiro lançamento no ramo 3.13.x kernel do Linux, você deve considerar uma atualização para esta compilação. Veja abaixo como atualizar o kernel do Ubuntu de um jeito simples e rápido.
