Compcert 2.4

Closes #33097.

Signed-off-by: Jack Nagel <jacknagel@gmail.com>