Der zweite Kern ist mMn in fast allen Fällen sinnvoll und der Mehrverbrauch hält sich auch in Grenzen. Allerdings würde ich dann doch gleich statt dem 4000+ zu z.B. einem 4800+ bis 5600+ (65W TDP) greifen. Einen 4800+ bekommt man gebraucht sicher für unter 30 Euro und das wäre ein guter Leistungsschub.
Wenn du auf die 45W TDP bestehst, musst du hald zu den 4450e oder 4850e greifen, welche aber vermutlich etwas teurer gehandelt werden.
Ich würde dir aber zu einem der oben genannten 65W Modelle raten (wegen des wahrscheinlich günstigeren Einkaufspreises)
LG