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