[coreboot-gerrit] Patch merged into coreboot/master: 2507820 src/include: Doxygen fixes