[coreboot-gerrit] New patch to review for coreboot: 6ae8e7a board_info.txt: Remove some needless name overrides.