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