[coreboot-gerrit] Patch merged into coreboot/master: c62ee70 src/mainboard: Doxygen fixes