Ciao, ho anche io entrambi i processori (in verità o il 4160).
Secondo me con il 4150 fai meno fatica comunque e hai meno problemi.
Il 3258 è divertentissimo, ma gli va tirato il collo (cosa che regge benissimo), però da qualche problema in più.
In single core è imbattibile (sono arrivato a 4,7 GHz) , ma nel mio caso d'estate dovevo abbassare la frequenza causa instabilità.
Tieni però presente che ha venderlo non ricavi molto considerando che già da nuovo costava poco.