Considering that most of the time 2x256 is close to the same price as 1x512, I would go with the 2x256 to make use of dual channel (if your motherboard supports it).
But maximum performance isnt too big of an issue, due to the lack of gaming/overclocking.
I would get whatever was cheaper, and if they are the same price, get 2x256