[coreboot-gerrit] Patch set updated for coreboot: e86f50b smbios: Use smbios_mainboard_manufacturer instead MAINBOARD_SMBIOS_MANUFACTURER.