[coreboot-gerrit] Patch set updated for coreboot: 80bee0f gigabyte/ga-b75m-d3h: Add new Intel mainboard