Driver win32k.sys marcado como pagável em vez de não paginável

Question

Um amigo tem o seguinte BSOD no Vista, a cada 45 minutos:

A problem has been detected and Windows has been shut down to prevent damage to your computer.

win32k.sys

     

O driver erroneamente marcou uma parte de sua imagem pagável em vez de   não pagável.

     

[...]

     

Informações técnicas:

*** STOP: 0x000000D3 [...]

win32k.sys

Tem sido assim por algumas semanas, e não houve alteração nem nova instalação, exceto para o Windows Update. Além disso, ele reinstalou o Windows há algumas semanas.

Qual é a causa / solução para esse sintoma?