Newer firmware will disable IPMI by default. If a user is using bmcsetup, they are preparing explictly to use with IPMI, so use redfish to turn on the IPMI.