[linux-morello-distros] [PATCH v2 06/14] board-firmware: match the new machine configuration