The solution is in the comment of Asaf Karagila, which points to the paper ["A geometric form of the axiom of choice"][1] by Bell and Fremlin.


  [1]: http://matwbn.icm.edu.pl/ksiazki/fm/fm77/fm77116.pdf

In fact, this paper asserts that the assertion : "For every normed vector space $X$ over the reals, there exists at least one extreme point in the unit ball of the continuous dual of $X$" is equivalent to the axiom of choice. So it doesn't matter how nice the space $X$, we can't prove the Krein-Miman for $M(X)=C(X)'$ in ZF. As a corollary, the ultrafilter lemma and the Krein Milman theorem imply (so is equivalent to) the axiom of choice, so the Krein Milman theorem cannot be provable only with the ultrafilter lemma, as the ultrafilter lemma is not equivalent to the axiom of choice. In particular, it shows that we can't prove the Krein Milman theorem without at least a weak form of axiom of choice, and as the ultrafilter is not enough, maybe we really need the axiom of choice in full generality, but the paper doesn't answer this question.