[kernel] Cabs2cil: do not create const temporary variables.

Closes #966

See merge request frama-c/frama-c!2885