Hey Elliot, thank you for your reply.
I have not found a way to “reset the BIOS” in the BIOS Guide. I tried it by removing the RTC battery for a couple of seconds but if it had the desired effects the results were not different.
I am going to take a look at the reddit post you shared and see if I can find a solution through it.