I want to install a 64bit Debian on a Dell containing an Intel Celeron G530. I'm not sure which Debian port to use. It would appear the amd64 port will work but the "amd64" name is confusing. Would someone please clarify? Thanks.