Eu encontrei a solução. Em vez de excluir minha pergunta, eu postei a solução porque ela pode ser útil para outras pessoas. A causa do problema é que tenho que usar várias versões do gcc. Voltei para a versão 5 usando o comando
sudo update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-5 100
--slave /usr/bin/g++ g++ /usr/bin/g++-5 --slave /usr/bin/gcov gcov /usr/bin/gcov-5
e o novo driver é instalado sem problemas.