[linux-morello-distros] [PATCH 05/17] Add UEFI