[coreboot] Patch merged into coreboot/master: d95d46c Fix comment to reference IvyBridge, too