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