store SMC IPMI infos in config_hints