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