What are some examples of smooth projective varieties $X$ over a finite field for which the Tate conjecture for divisors is known, and which admit a smooth morphism to a smooth projective curve (equivalently to $\mathbb{P}^1$)? I am not really interested in the case where $X$ is an abelian variety and the map to the curve factors through an elliptic curve. Unfortunately I do not think K3 surfaces can be smooth over a curve.
EDIT: removed redundant flatness assumption and incorrect assumption that it reduces to the case where the base is $\mathbb{P}^1$