[coreboot] Patch set updated for coreboot: 7ebde20 Add multicore support to coreboot