[coreboot] Patch set updated for coreboot: 1395308 Bootblock does not need a unique boot_cpu()