Subject: Re: [PATCH 4/4] install: Use grub-efi.

From: Danny Milosavljevic <[email-masked]>
Date: Mon, 17 Jul 2017 23:42:36 +0200

This makes the system disk-image use grub-efi all the time, also for non-ISO9660.

But I've successfully tested booting this non-ISO9660 image (which uses grub-efi) as well on a non-UEFI non-Libreboot x86.