[coreboot-gerrit] Patch set updated for coreboot: 1faab25 arch/x86/boot/smbios: Rename fill_dimm_manufacturer and make public