Patch merged into coreboot/master: 66da043 haswell: allow for disabled hyperthreading

the following patch was just integrated into master:
commit 66da043e48c65e6d89b385d840e5f7c53e482db9
Author: Aaron Durbin 
Date:   Tue May 28 14:26:29 2013 -0500

haswell: allow for disabled hyperthreading

There were assumptions being made in the haswell
    MP and SMM code which assumed the APIC id space
    was 1:1 w.r.t. cpu number. When hyperthreading is
    disabled the APIC ids of the logical processors
    are all even. That means the APIC id space is sparse.
    Handle this situation.

Change-Id: Ibe79ab156c0a171208a77db8a252aa5b73205d6c
    Signed-off-by: Aaron Durbin 
    Reviewed-on: http://review.coreboot.org/3353
    Tested-by: build bot (Jenkins)
    Reviewed-by: Paul Menzel 
    Reviewed-by: Ronald G. Minnich

See http://review.coreboot.org/3353 for details.

-gerrit