[coreboot-gerrit] Patch merged into coreboot/master: 7693e7d boardstatus: Take default board name from MAINBOARD_PART_NUMBER.

the following patch was just integrated into master:
commit 7693e7dd7f22bd26f09895e22570f6a2f8c031a8
Author: Vladimir Serbinenko 
Date:   Sat Jan 18 22:18:01 2014 +0100

boardstatus: Take default board name from MAINBOARD_PART_NUMBER.

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

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

-gerrit