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