[coreboot] [PATCH]modify "make menuconfig" output

[Myles Watson]

On Tue, Aug 25, 2009 at 2:30 PM, Patrick Georgi<patrick at georgi-clan.de> wrote:
> Am Dienstag, den 25.08.2009, 14:13 -0600 schrieb Myles Watson:
>> How about this fix?
> I thought about that, but it has the disadvantage that it spreads the
> configuration of the board across two files.
Yes.

I'd like to think that much of the second file will disappear as
CONFIG_USE_DCACHE_RAM and others are moved to their final resting
places.  Then it might make sense to move the last few things like the
mainboard strings into the mainboard/<vendor>/Kconfig file.

> I'm not sure what the best fix is...

I guess the third option is live with it being printed twice.

Thanks,
Myles