Você pode simplesmente substituir arquivos de 32 bits por 64 bits. Funciona. Meus arquivos de instalação de 32 bits precisaram de uma dll extra - WdfCoinstaller01009.dll
- Acabei de adicionar o arquivo ausente agora que funciona.
É melhor adicionar uma pasta separada de 64 bits - x64:
[SourceDisksNames.x86]
1=%Disk_Description%,"silabser.sys",,\x86
[SourceDisksNames.amd64]
1=%Disk_Description%,"silabser.sys",,\x64
Qual foi a minha história: Eu precisava usar um cartão de design personalizado - do Windows XP de 32 bits - no Windows 7 de 64 bits, mas não tinha nenhum driver de dispositivo. Eu usei utilitário de backup de driver e criou os arquivos de instalação do driver de dispositivo. No entanto, esse pacote contém dlls de 32 bits. Eu encontrei a versão de 64 bits dessas DLLs públicas e modifiquei o INF.