Certo, então suspeitei que algo estava acontecendo quando encontrei um site com compilações noturnas do driver de áudio, e eles eram todos amd64. A versão do 17.10 que eu estava rodando era i386 - era uma máquina mais antiga que aparecia quando as CPUs de 64 bits começavam a atingir o mainstream, e só tem 2GB de RAM, então pensei em fazer o i386 construir.
Acontece que o driver para o sistema de áudio é compatível apenas com 64 bits . É chocante, já que esta é uma máquina mais antiga, embora eu ache que para muita gente não há muito sentido em manter um driver i386 atualmente.
De qualquer forma, a solução para este problema é literalmente instalar o Ubuntu de 64 bits (eu uso o Xubuntu). Eu fui com 16.04 como é LTS, mas não foi isso que resolveu o problema.
Espero que isso ajude alguém abaixo da linha.