The Cremmer-Scherk mechanism in F-theory compactifications on K3 manifolds