[linux-morello-distros] [PATCH v2 05/15] Add UEFI