Hi Tal,
A quick supplement to #1, well-known server vendors may provide their own utilities for set/view BIOS values. Eg. Dell's OpenManage Deployment Kit. Given many such large vendors work closely with Mellanox, that's another option for you and your users?
Best,
Chin