You can get the AMD 64 in a note-book pc now - check out the ASUS range.

My vote is for AMD too. Always used them because they are more bang-for-your-buck.