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