Esta não é a solução ideal. Eu percebi que KB2862330
realmente contém os arquivos do driver, eles acabaram em winsxs (que armazena diferentes versões de driver) em vez de System32, mas isso é inútil, já que os drivers são sempre carregados do System32.
Por razões desconhecidas para mim, o driver mais recente não é copiado para o System32. Normalmente, 6.1.7601.22526
não é copiado, em vez disso, 6.1.7601.18328
é também fornecido com KB2862330
. Mas esse comportamento não ocorreu mesmo que eu tenha desinstalado e reinstalado KB2862330
3 vezes.
Neste ponto, pareceu-me que a única coisa que a instalação não fazia era copiar os arquivos do driver, ou pelo menos eu esperava. Eu fui em frente e os copiei.