i5 8400 (3.8GHz) vs i7 7700K (4.2GHz)