Additive K-theory and crystalline cohomology