[coreboot-gerrit] Patch merged into coreboot/master: d0c1dd0 device/hypertransport.c: Fix typo in comment