should I drop this https://review.coreboot.org/c/coreboot/+/33437 ?

View Change

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

Gerrit-Project: coreboot
Gerrit-Branch: master
Gerrit-Change-Id: Ibcae72e8f02497719fcd3f180838557e8e9abd38
Gerrit-Change-Number: 35540
Gerrit-PatchSet: 5
Gerrit-Owner: Name of user not set #1002476
Gerrit-Reviewer: Martin Roth <martinroth@google.com>
Gerrit-Reviewer: Name of user not set #1002476
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-CC: HAOUAS Elyes <ehaouas@noos.fr>
Gerrit-Comment-Date: Thu, 26 Sep 2019 16:38:29 +0000
Gerrit-HasComments: No
Gerrit-Has-Labels: No
Gerrit-MessageType: comment