This change is ready for review.

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

Gerrit-Project: coreboot

Gerrit-Branch: master

Gerrit-Change-Id: I37a34651d9e7d823ad5689d30739294358a97e31

Gerrit-Change-Number: 31341

Gerrit-PatchSet: 4

Gerrit-Owner: Kyösti Mälkki <kyosti.malkki@gmail.com>

Gerrit-Reviewer: Kyösti Mälkki <kyosti.malkki@gmail.com>

Gerrit-Reviewer: Martin Roth <martinroth@google.com>

Gerrit-Reviewer: Patrick Georgi <pgeorgi@google.com>

Gerrit-Reviewer: Patrick Rudolph <siro@das-labor.org>

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

Gerrit-Reviewer: build bot (Jenkins) <no-reply@coreboot.org>

Gerrit-Comment-Date: Wed, 10 Jul 2019 13:29:16 +0000

Gerrit-HasComments: No

Gerrit-Has-Labels: No

Gerrit-MessageType: comment