Gerrit-MessageType: newchange
Gerrit-Project: coreboot
Gerrit-Branch: main
Gerrit-Change-Id: Ie58aad50e66efbc3113541884beea9668d886b5d
Gerrit-Change-Number: 83692
Gerrit-PatchSet: 1
Gerrit-Owner: Nico Huber <nico.h@gmx.de>