[coreboot-gerrit] Patch merged into coreboot/master: f8c7d18 board_info.txt: Add mentions of thin client names.

the following patch was just integrated into master:
commit f8c7d18c3367f0415158f5a3e1513f3f2bb48ae2
Author: Vladimir Serbinenko 
Date:   Sun Jan 19 12:47:20 2014 +0100

board_info.txt: Add mentions of thin client names.

Based on info from old page

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

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

-gerrit