... it is not necessary to reboot the server because you have modern gear which allows you to read BIOS settings via out-of-band management card.
In our case we had DELL rack server PowerEdge R620 with iDrac 7 management card. BIOS settings are not visible on iDRAC web interface and you have to use CLI (aka racadm). There are several methods how to use racadm cli but IMHO the simplest method is to SSH into iDRAC ip address and execute command:
racadm get bios.MemSettingsYou should get result similar to the screenshot bellow.
For more information look at DELL Tech Center.