porkchopVSintel :
Just wait until February and buy Ryzen+ if it overclocks better it will be by far the superior choice. 4 Cores won't get you far today, and Im talking from experience.
Edit: That will probably mean that they will come with higher stock clocks.
End result will be unchanged. The i7-7700 would be the better gaming chip.
Also, Pinnacle Ridge won't be released in February. And by the time Pinnacle Ridge is released, he could go for an i7-8700 which will be 100% better for gaming.