Oh! isso foi porque eu desativei / desmarcou o repositório restrito que fornece drivers proprietários. Acabei de marcar / ativar novamente e depois de recarregar os pacotes, agora posso ver os dois drivers disponíveis:
Isso pode ser útil para os outros se eles enfrentarem problemas semelhantes. Caso contrário, não tenho certeza se a pergunta pode ser encerrada como fora do tópico (isso descreve um problema que não pode ser reproduzido e que aparentemente desapareceu por si relevante para um período de tempo muito específico, pois é improvável que ajude os futuros leitores.)