board config for cbmc