Ayuda Driver bluetooth x64

Hola a todos,
a ver si alguien me puede ayudar u orientar para pasar un driver de x32 a x64. El driver en cuestión se llama freebt, y lo podemos encontrar aquí,
es open source, así que tenemos acceso al código.
Gracias
salu2