[coreboot-gerrit] Change in coreboot[master]: SMBIOS: Allow to override default Type41 generation