Much work has gone into the construction of cohomology theories which are defined on algebraic varieties (étale, crystalline, etc.) and comparison isomorphisms between them. 

Say $X$ is an algebraic variety over $\mathbb Z$.  I am interested in computing  $H^*_{\rm sing}(X_{\mathbb C}, \mathbb{Z}_p)$ using a variant of the de-Rahm complex.  However, the obvious integral version of de-Rahm cohomology, gives the completely wrong answer  even for $X = \mathbb A^1$.  

This is surprising to me, because (if I am reading the literature correctly, as a non-expert) the de-Rahm complex of $X_{\mathbb Z_p}$ computes the crystalline cohomology of $X_{\mathbb F_p}$. And crystalline cohomology is often claimed to be the "correct"  $p$-adic replacement for the etale cohomology groups  $H^*_{et}(X_{\overline{\mathbb F_p}}, \mathbb Z_l)$.  However, it seems that crystalline cohmology/de-Rahm cohomology groups of affine space are "**wrong**", in the moral sense of not lining up with what I would naively expect.

Is there a correction/explanation for this discrepancy? Is there a variant of de-Rahm/crystalline cohomology which computes the "right" cohomology for $\mathbb A^1$?   Morally, is there a reason why we would want integral crystalline cohomology to carry so much extraneous torsion?  Is there something I'm missing?