I was not aware you can control BIOS settings, BIOS upgrades and configuring IPMI remotely like that.

EDIT - looks like it is straightforward if you control the IPMI locally. So the software would send commands to do it locally.