[coreboot-gerrit] Patch set updated for coreboot: 95db3db drivers: Drop GbE stub drivers