I'm looking for a small computer to use as a server. I think I prefer the 1GB banana pi over the 512M raspberry pi. Thoughts?