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