[coreboot-gerrit] Change in coreboot[master]: SMBIOS: Introduce `smbios_carve_table` function