@Patrick, @Martin : could you please check this patch ?

View Change

To view, visit change 34024. To unsubscribe, or for help writing mail filters, visit settings.

Gerrit-Project: coreboot
Gerrit-Branch: master
Gerrit-Change-Id: I7c968c773c368ea74689b9741c4c978c35110187
Gerrit-Change-Number: 34024
Gerrit-PatchSet: 1
Gerrit-Owner: Balaji Manigandan <balaji.manigandan@intel.com>
Gerrit-Reviewer: Balaji Manigandan <balaji.manigandan@intel.com>
Gerrit-Reviewer: Martin Roth <martinroth@google.com>
Gerrit-Reviewer: Patrick Georgi <pgeorgi@google.com>
Gerrit-Reviewer: build bot (Jenkins) <no-reply@coreboot.org>
Gerrit-Comment-Date: Tue, 16 Jul 2019 06:12:24 +0000
Gerrit-HasComments: No
Gerrit-Has-Labels: No
Gerrit-MessageType: comment