compcert: allow arch flags

Fixes #29569.
menhir 20140422
compcert 2.3pl2