There are some leftovers in those platforms' Kconfig files. Are they intended to be left?

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

Gerrit-Project: coreboot

Gerrit-Branch: master

Gerrit-Change-Id: Ibc9a15ed5e91c6dd857f2dd02e37d0979dd6ae90

Gerrit-Change-Number: 37373

Gerrit-PatchSet: 1

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

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

Gerrit-Reviewer: Michał Żygowski <michal.zygowski@3mdeb.com>

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

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

Gerrit-Comment-Date: Wed, 04 Dec 2019 16:56:49 +0000

Gerrit-HasComments: No

Gerrit-Has-Labels: No

Gerrit-MessageType: comment