Patch Set 1:
Did you try with GRUB master (HEAD)?

Yes

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

Gerrit-Project: coreboot

Gerrit-Branch: master

Gerrit-Change-Id: Ie68e77af77ccec83c29d3329ee9997b950b351f6

Gerrit-Change-Number: 39172

Gerrit-PatchSet: 1

Gerrit-Owner: Name of user not set #1002723

Gerrit-Reviewer: Felix Held <felix-coreboot@felixheld.de>

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

Gerrit-Reviewer: Name of user not set #1002723

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

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

Gerrit-CC: Angel Pons <th3fanbus@gmail.com>

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

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

Gerrit-Comment-Date: Wed, 11 Mar 2020 20:56:15 +0000

Gerrit-HasComments: No

Gerrit-Has-Labels: No

Gerrit-MessageType: comment