GPU memory is the new performance bottleneck, but how much GDDR7 will Micron actually be making?