You can simply replace 32 bit files with 64 bits. It works. My 32 bit setup files required an extra dll—WdfCoinstaller01009.dll
—I just added the missing file now it works.
It's better to add separate 64 bit folder - x64:
[SourceDisksNames.x86] 1=%Disk_Description%,"silabser.sys",,\x86 [SourceDisksNames.amd64] 1=%Disk_Description%,"silabser.sys",,\x64
What was my story: I needed to use a custom design card -from Windows XP 32 bit- on Windows 7 64 bit but I had no device driver. I've used Driver Backup utility and created the device driver installation files. However that pack contains 32 bit dlls. I found 64 bit version of these public dlls and modified the INF.