Right. Lets do this then. Ricardo, how do we get there? There UEFI upstreaming work is really important to pick up bugfixes and features from mainline. So is the kernel mainlining work so that distros can pick up board support. We need to have some focus on grub_install to make sure it works correctly on HiKey's UEFI. It would be really good to get the Dragonboard 410c UEFI port working for us, but I don't know if the source code for that has been released.
What is the status of (HiKey) UEFI support for various boot devices? The last version I tested supported eMMC only, with SD and netboot "in the works" by various reports. We need UEFI support for at least two different boot devices to enable the use of an installer (i.e., run installer from SD then boot installed system from eMMC, or run installer from network then boot installed system from SD/eMMC). (People have been "running from SD" since the beginning, but the kernel-on-eMMC/userland-on-SD approach doesn't count for installer support).
-Chris