I've had a couple of 64 bit machines and had no problem finding the drivers for every component of the machine.
http://www.planetamd64.com/ has them pretty much all lined up for download.
As for the class action, was the machine SOLD as a 64bit machine? (was it even sold with XP64?)