sapete consigliarmi qualche portatile con processore amd64?

ho visto quelli di acer: http://acer.it/acereuro/page4.do?dau...&crc=703663034 che ne pensate?

(intendo installarci debian, quindi devo cercarlo compatibile con il software)

grazie