Cercando in rete ho visto che da anni è noto che windows 10 ha dei problemi con le tastiere ps2, quelle con spina rotonda che si usavano un tempo; probabilmente è meno noto che in certi casi tale problema non si risolve nemmeno modificando la chiave di registro i8042prt e che, a parità di macchina, il mancato funzionamento avviene solo con windows 10 32 bit che invece dovrebbe essere maggiormente compatibile con i dispositivi di un tempo.