Also, we don't even know what clock frequencies that Ryzen engineering sample was running at. They're not final, and are likely to be a bit higher at launch. Also, considering the power consumption numbers (looks like they're hitting i9-9900K performance levels in a 75W power envelope, per
AnandTech), there definitely is room in the thermal design for more cores.