[coreboot-gerrit] Patch set updated for coreboot: 00d4ad3 mainboard: -ffreestanding so 'main' is not necessarily entry