[coreboot-gerrit] Change in coreboot[master]: SMBIOS: Allow skipping default SMBIOS generation