Gerrit-MessageType: restore
Gerrit-Project: coreboot
Gerrit-Branch: master
Gerrit-Change-Id: I4c3d3aaf473ecc6106349245b5de1a6025ae0e9a
Gerrit-Change-Number: 44578
Gerrit-PatchSet: 4
Gerrit-Owner: Christian Walter <christian.walter@9elements.com>
Gerrit-Reviewer: Angel Pons <th3fanbus@gmail.com>
Gerrit-Reviewer: Martin L Roth <gaumless@gmail.com>
Gerrit-Reviewer: build bot (Jenkins) <no-reply@coreboot.org>