[coreboot] Patch merged into coreboot/master: 5125404 haswell: Add ULT CPUID and updated microcode