GPU mean memory reductions

[dejl]

@tromp

There is another potentially large benefit to requiring more than 6GB. Many huge mining farms are dominated by <= 6GB GPUs. Excluding them makes it easier for hobby miners to compete.

Is this no longer a desired benefit or is it somehow no longer feasible?