I think i'm about to give Vinux a try, but the only 64-bit version seems to be the basic CD version. DVD and USB are only 32-bit versions.