hi!!
keinerlei leistungsunterschiede bei den beiden cpu, da der level 2 cache bei beiden gleich ist 512kb(der toledokern wurde im cache nur von 1024kb auf 512kb beschnitten).
ich persönlich würde den 4200er mit toldeokern nehmen, läßt sich im allgemeinen besser ocen.
wenn du nicht übertakten willst, kanste den billigeren nehmen.
so long