[coreboot-gerrit] Patch merged into coreboot/master: 1cc3416 Add support to enable/disable builtin GbE (again)