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