[linux-morello-distros] [PATCH v4 05/18] Add UEFI