I think about switching from my current Debian-i386 to Debian-amd64 distribution. I wonder if driverloader will work under Debian-amd64? In particular, will 32-bit windows drivers work under 64-bit linux kernel? Thanks, Max