GRUB has a wrong $cmdpath when booted from an optical disc

I was testing archlinux-2022.06.21-x86_64.iso and when booting it from an "optical disc" (an emulated one using IODD 2531) on my laptop (HP ProBook 450 G2), GRUB didn't load $cmdpath/grub.cfg and dumped me in the shell.

echo $cmdpath returned (cd0)/EFI/Boot. Notice that it's Boot not BOOT, but ls (cd0)/EFI/ showed that the directory is indeed called BOOT.

Manually running configfile (cd0)/EFI/BOOT/grub.cfg worked fine and loaded the menu.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information