If it’s not an issue, it’s not an issue. If you need to change the settings at some point, you could look up if there is a way to reset the password. Or sometimes there are tools that let you change the EEPROM settings from linux, without needing to open the BIOS. Depends on the hardware.