compcert 2.1

Closes #26702.

Signed-off-by: Misty De Meo <mistydemeo@gmail.com>