Ok, so I have a problem

Okay.

This morning, I updated my PC’s BIOS.

Before booting up, my PC is set up as follows:

It has a GIF for the boot logo;

Windows is encrypted using VeraCrypt;

It features a customized GRUB bootloader;

And it is set up for dual-booting with Arch Linux.

So, after I performed the update, it turns out that the GRUB menu no longer appears, and the system now sends me directly into Windows.

Any advice? I’m looking to install Batocera Linux.