I know that the behavior of your BIOS does not depend on what OS is installed but many people got the exact same problem after upgrading to Ubuntu 17.10.
https://askubuntu.com/questions/970451/unable-to-save-bios-options-after-ubuntu-17-10-upgrade
https://ubuntuforums.org/showthread.php?p=13714192&t=2378374#post13714192