Which processor to prefer?

Depending on the price of it, I would consider upgrading it. A processor at 2.0 GHz is not that fast and it will make some difference depending on what you are doing. If it is less than $100 to upgrade, you should definitely do so.