[coreboot-gerrit] Patch merged into coreboot/master: 4785f2a arch/x86/boot/smbios: Rename fill_dimm_manufacturer and make public