Differential K-theory from EFTs