Gerrit-MessageType: restore
Gerrit-Project: coreboot
Gerrit-Branch: master
Gerrit-Change-Id: I40d1bd4568c0823a266aabc3803e3e2cd53f23c1
Gerrit-Change-Number: 57249
Gerrit-PatchSet: 3
Gerrit-Owner: amersel
Gerrit-Reviewer: build bot (Jenkins) <no-reply@coreboot.org>
Gerrit-CC: Angel Pons <th3fanbus@gmail.com>
Gerrit-CC: Martin L Roth <gaumless@gmail.com>
Gerrit-CC: Paul Menzel <paulepanter@mailbox.org>