[coreboot-gerrit] New patch to review for coreboot: 71a5ff9 arch/x86/boot/smbios: Rename fill_dimm_manufacturer and make public