Gerrit-MessageType: abandon
Gerrit-Project: coreboot
Gerrit-Branch: master
Gerrit-Change-Id: I746798b13e83d1971bb7be93751a15875d16c337
Gerrit-Change-Number: 48771
Gerrit-PatchSet: 4
Gerrit-Owner: Bill XIE <persmule@hardenedlinux.org>
Gerrit-Reviewer: Alexander Couzens <lynxis@fe80.eu>
Gerrit-Reviewer: Martin L Roth <gaumless@gmail.com>
Gerrit-Reviewer: Patrick Rudolph <rudolphpatrick05@gmail.com>
Gerrit-Reviewer: build bot (Jenkins) <no-reply@coreboot.org>
Gerrit-CC: Angel Pons <th3fanbus@gmail.com>
Gerrit-CC: Paul Menzel <paulepanter@mailbox.org>