Eu descobri a origem do problema. Não é um problema de driver.
Eu instalei usando um script incrível que se ajusta automaticamente a qualquer Chromebook: Verdadeiro Ubuntu no Chromebook ARM (samsung)
As Samsung baseadas em ARM são o caso mais difícil, mas o script lida quase perfeitamente, com exceção de três problemas:
- O touchpad não funciona bem.
- Não faz do bash o shell padrão, o que causa alguns aborrecimentos no aplicativo Terminal.
- Pelo menos para mim, o DNS não funciona.
A solução para os problemas 1 e 2 pode ser encontrada aqui: link
Na edição 3, descobri que os servidores DNS padrão eram inúteis. Usando a GUI "Rede" em Configurações do Sistema, adicionei um dos servidores DNS mantidos pelo OpenDNS (208.67.222. 222) e tudo começou a funcionar perfeitamente.