Ho provato a seguire la procedura ma non sono riuscito a decomprimere il file eseguendo:
expand.exe compressed E:\TEMP\shell32\shell32.dll E:\TEMP\shell32\shell32.zip
e (in alternativa dato che non conosco la sintassi del comando)
expand.exe E:\TEMP\shell32\shell32.dll E:\TEMP\shell32\shell32.zip
Allora ho semplicemente utilizzato winzip per estrarre il file.
Poi ho seguito le indicazioni: modalità provvisoria, rinomino la vecchia dll, metto la nuova e riavvio.
Il pc non riparte mi da problemi sulla dll del kernel e mi fà riavviare suggerendo di ripristinare le dll eventualmente manomesse. Ho dovuto riavviare con un disco di ripristino e rimettere su la vecchia dll.
E adesso che faccio??