Mah, queste 580 sono a tutti gli effetti delle 480 overclockate (che già salivano poco), dunque quasi una vale l'altra; basta evitare quelle più calde e rumorose.
Per rispondere all'altra domanda, se facessi il PC oggi probabilmente prenderei Ryzen 5 (proprio il 1600, ma dipende dal mio utilizzo); tra il 1400 ed il 7400, preferisco il 1400 a 4 GHz; in game vanno praticamente uguale, ma in altri ambiti non c'è storia.
Piccola parentesi, con Ryzen 5 tutti gli i5 non K non hanno più senso, a mio avviso; e se il 7350K era una CPU "stupida" prima dell'uscita di Ryzen figuriamoci adesso, non ha proprio senso di esistere a quel prezzo.
Anch'io preferisco le ATX, ma devo dire che ultimamente ho visto diverse mATX interessanti (MSI B350 Gaming Pro, ho visto una recensione in cui prende facilmente i 4 GHz con un 1600).