Zev Rosengarten and I have written up a self-contained proof of this fact. It is available on [Thuses](https://thuses.com/algebraic-geometry/the-picard-number-of-a-kummer-surface/). The proof is entirely algebraic, works over any separably closed field of $\text{char} \neq 2$, and does not use any Hodge theory.