sim-config.c: add missing cfi header