[coreboot-gerrit] Patch merged into coreboot/master: 6ae8e7a board_info.txt: Remove some needless name overrides.

the following patch was just integrated into master:
commit 6ae8e7a8073c556e2b29ece346e58155a959de2b
Author: Vladimir Serbinenko 
Date:   Sun Jan 19 01:36:02 2014 +0100

board_info.txt: Remove some needless name overrides.

Overrides were to have names in line with wiki but names derived from the
    tree are better in some cases.

Change-Id: Ic805ba9a3b9c7f926dc9ef27f8673f2c18e9af34
    Signed-off-by: Vladimir Serbinenko

See http://review.coreboot.org/4737 for details.

-gerrit