[coreboot-gerrit] New patch to review for coreboot: 052f483 smbios: Use smbios_mainboard_manufacturer instead MAINBOARD_SMBIOS_MANUFACTURER.