[linux-morello-distros] [PATCH v0 09/13] uefi: match the new machine configuration