Hello, Im in the market for a new laptop. Right now I'm looking at HyperSonic laptops. I have a choice between AMD64 3200+ and a P4 2.8GHz with HT. Which one would you guys recommend to run FreeBSD. Obviously the i386 would be easier to run, so I guess my question is what is the state of the AMD64 FreeBSD version?