A atualização para o kernel 3.13.0-031300rc6-generic parece ter corrigido o problema. Ele também instalou o driver Intel® Ivybridge Mobile, que pode estar relacionado à correção. Existem alguns artefatos gráficos menores, mas além disso tudo funciona bem.