[coreboot] Patch merged into coreboot/master: df7be71 haswell: Add ULT device IDs