Gerrit-MessageType: newchange
Gerrit-Project: coreboot
Gerrit-Branch: main
Gerrit-Change-Id: Ie485684747efccb8fb0ab87f10694c52a98f3c88
Gerrit-Change-Number: 83455
Gerrit-PatchSet: 1
Gerrit-Owner: Felix Singer <service+coreboot-gerrit@felixsinger.de>