AMD perform noticably better in 64-bit mode.
Can't find links to some numbers to prove it, though :)
But in your case, Intel variant seems to be a bit better: less weight,
faster graphics, gigabit ethernet, +802.11a (not sure it is that
useful).
Strange, that both lack DVI output...
I intend to buy a new laptop too, but decided to go with hp nx6325
(AMD X2 TL-60, ATI 1150), because it has both ExpressCard (for future)
and PCMCIA (for my RME) and is more likely to have open source 3d
video drivers.
Dmitry.