Koszul duality and semisimplicity of Frobenius