[coreboot-gerrit] Change in coreboot[master]: SMBIOS: (Type 17) Add High Bandwidth Memory device type value