[coreboot] Patch merged into coreboot/master: ef80d93 Fix APIC cpu_index

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit ef80d93df0878bb61325ebee312614263660d9aa
Author: Kyösti Mälkki <kyosti.malkki at gmail.com>
Date:   Tue Jul 10 10:19:40 2012 +0300

    Fix APIC cpu_index
    
    If a CPU was pre-allocated, cpu_path is not copied and thus
    index would not be updated. This breaks cpu_index() and AMD
    model_fxx is possibly broken without this patch.
    
    Change-Id: I77483181cf0bca31423c655942c022bffab3c7ea
    Signed-off-by: Kyösti Mälkki <kyosti.malkki at gmail.com>

Build-Tested: build bot (Jenkins) at Tue Jul 10 10:04:53 2012, giving +1
See http://review.coreboot.org/1199 for details.

-gerrit