[PATCH 4/5] arm: qemu: disable the EFI workaround for older GRUB