Duda Sobre controladores

bueno compañeros lo que yo quisiera saber es que si hay ya controladores para flashear los S.E en 64 bits porque yo instale los controladores de SE gordons gate y vi en la carpeta que viene una con el nombre de AMD64 y otra de 86x lo que quisiera saber es que si alguien tiene un sistema operativo de 64bits ya sea win xp o win vista que ya los haiga probado porque estoy pensando en cambiarme a win vista ultimate de 64bits porque actualmente tengo el windows 7 y como es beta tiene algunos problemas todavia.. bueno espero me respondan esta duda

saludos