[coreboot-gerrit] Patch merged into coreboot/master: d7689e4 Doxygen: add a "simple" output config and make target