Eu encontrei um driver do windows 8.1 que funciona.
Eu baixei o arquivo RPM abaixo e usei o driver qxldod
para o windows 8.1 seguindo as mesmas instruções no site mencionado na questão. A resolução da tela agora pode ser alterada, embora o dimensionamento automático não funcione.
O dispositivo não aparecerá como um dispositivo QXL até que o driver seja instalado, atualize o driver no item 'Microsoft Basic Display Driver' no gerenciador de dispositivos.