How about Kconfig.name and Kconfig?

View Change

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

Gerrit-Project: coreboot
Gerrit-Branch: master
Gerrit-Change-Id: Id638e987f45c247dae824f221a38ccf32626572f
Gerrit-Change-Number: 40587
Gerrit-PatchSet: 1
Gerrit-Owner: Peichao Li <peichao.wang@bitland.corp-partner.google.com>
Gerrit-Reviewer: Karthik Ramasubramanian <kramasub@google.com>
Gerrit-CC: Marco Chen <marcochen@google.com>
Gerrit-Comment-Date: Wed, 22 Apr 2020 06:00:36 +0000
Gerrit-HasComments: No
Gerrit-Has-Labels: No
Gerrit-MessageType: comment