[coreboot] Patch merged into coreboot/master: e3e901d Modify DMI init for IvyBridge