Patrick, Martin, what do you think, should we pull this in or wait for upstream?

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

Gerrit-Project: coreboot

Gerrit-Branch: master

Gerrit-Change-Id: Idb2dfad7e401954f4bb83d0409ab71dcd7277f47

Gerrit-Change-Number: 37939

Gerrit-PatchSet: 3

Gerrit-Owner: Jude Rich <juder11@gmail.com>

Gerrit-Reviewer: Jude Rich <juder11@gmail.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-CC: Nico Huber <nico.h@gmx.de>

Gerrit-CC: Paul Menzel <paulepanter@users.sourceforge.net>

Gerrit-Comment-Date: Sat, 04 Jan 2020 17:57:56 +0000

Gerrit-HasComments: No

Gerrit-Has-Labels: No

Gerrit-MessageType: comment