Let $k$ be algebraically closed with characteristic $0$. For a scheme $X$, let $FEt(X)$ be the category of finite etale covers of $X$. What can be said about $FEt(X \times \mathbb{A}^1)$ and the functor $- \times_k \mathbb{A}^1: FEt(X) \rightarrow FEt(X \times \mathbb{A}^1)$?

It seems to me that the functor induced by pullback along the zero section $0: X \rightarrow X \times_k \mathbb{A}^1$, $FEt(X \times \mathbb{A}^1) \rightarrow FEt(X)$ witnesses a fully faithful embedding since the composite of this with the one above is the identity, but that's about all I can observe immediately.

So is the functor an equivalence/final/cofinal?

At least, the etale fundamental group is $\mathbb{A}^1$-invariant for suitably nice $X$ (the etale fundamental group preserves products for suitably nice $X$ and the etale fundamental group of $\mathbb{A}^1$ is zero) and so is the etale homotopy type after appropriate completion. Can one perhaps lift this to some equivalence between etale covers?