Maybe wait with merge until coreboot 4.10 to have a clean cut.

Patch set 1:Code-Review +2

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

Gerrit-Project: coreboot

Gerrit-Branch: master

Gerrit-Change-Id: If2bae9e28a6e1ed6bfe0e9cb022ca410918cc4db

Gerrit-Change-Number: 33133

Gerrit-PatchSet: 1

Gerrit-Owner: Arthur Heymans <arthur@aheymans.xyz>

Gerrit-Reviewer: Nico Huber <nico.h@gmx.de>

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

Gerrit-Comment-Date: Mon, 03 Jun 2019 10:35:53 +0000

Gerrit-HasComments: No

Gerrit-Has-Labels: Yes

Gerrit-MessageType: comment