Gerrit-MessageType: newpatchset
Gerrit-Project: coreboot
Gerrit-Branch: main
Gerrit-Change-Id: I8d443e39ee684a4eaa19c835a945cfe569c051e2
Gerrit-Change-Number: 82053
Gerrit-PatchSet: 13
Gerrit-Owner: Máté Kukri <kukri.mate@gmail.com>
Gerrit-Reviewer: Angel Pons <th3fanbus@gmail.com>
Gerrit-Reviewer: build bot (Jenkins) <no-reply@coreboot.org>
Gerrit-CC: Felix Singer <service+coreboot-gerrit@felixsinger.de>