Document IPMI tunable.