[coreboot-gerrit] Patch set updated for coreboot: b2487be Add support to enable/disable builtin GbE (again)