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

[Myles Watson]

On Tue, Aug 25, 2009 at 10:56 AM, Patrick Georgi<patrick at georgi-clan.de> wrote:
> In the mainboard selection, the selected mainboard is printed twice in
> certain cases, this patch eliminates the second mention.
>
> This change might have unintended side-effects, but seems to work okay
I'd rather fix the offending boards.  Isn't it board-specific?  Maybe
I haven't seen all the cases.

Myles