Is the devicetree wrong, too?

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

Gerrit-Project: coreboot

Gerrit-Branch: master

Gerrit-Change-Id: I641c336350a0b05f3db7603cc7f6281ff3b0c388

Gerrit-Change-Number: 31198

Gerrit-PatchSet: 1

Gerrit-Owner: Patrick Rudolph <patrick.rudolph@9elements.com>

Gerrit-Reviewer: Patrick Rudolph <patrick.rudolph@9elements.com>

Gerrit-Reviewer: Philipp Deppenwiese <zaolin.daisuki@gmail.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: Fri, 01 Feb 2019 19:40:02 +0000

Gerrit-HasComments: No

Gerrit-Has-Labels: No

Gerrit-MessageType: comment