spielt es fuer debian eine rolle ob es sich um einen amd64 oder um einen amd64 x2 dual-core handelt? das muesste eigentlich egal sein, oder?