A similar precio, yo me quedaría con el 5600 sin dudar (misma cantidad de núcleos e hilos, pero bastante mejor arquitectura y más rendimiento clock a clock). La RAM a esas frecuencias con cualquiera de los dos la vas a poder poner sin mucho problema, no te condiciona en absoluto.
¿El 12400F con una placa DDR4 relativamente barata no es una opción?
Saludos