[libsmi] Id marking for config.h