Patch merged into coreboot/master: ef80d93 Fix APIC cpu_index

the following patch was just integrated into master:
commit ef80d93df0878bb61325ebee312614263660d9aa
Author: Kyösti Mälkki 
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

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

-gerrit