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