[coreboot-gerrit] Patch set updated for coreboot: 50def42 Doxygen: add a "simple" output config and make target