[coreboot-gerrit] Patch merged into coreboot/master: romcc.1: Point bug reporters to the coreboot ML / bug tracker