[coreboot-gerrit] Change in ...coreboot[master]: lapic/lapic_cpu_init: Make use of cpu_index() [WIP]