grub-shell: Update 32-bit OVMF binary name.

diff --git a/tests/util/grub-shell.in b/tests/util/grub-shell.in
index 663cde66343ff87f83e8b4850a0241cca0b1ee1f..7848b4222b5f1c6266307a63b2da5cd815b9621c 100644 (file)
--- a/tests/util/grub-shell.in
+++ b/tests/util/grub-shell.in
@@ -165,7 +165,7 @@ case "${grub_modinfo_target_cpu}-${grub_modinfo_platform}" in
        boot=cd
        console=console
        trim=1
-       qemuopts="-bios OVMF32.fd $qemuopts"
+       qemuopts="-bios OVMF-ia32.fd $qemuopts"
        ;;
     x86_64-efi)
        qemu=qemu-system-x86_64