Re: [PATCH v4 03/20] x86: coreboot: Rearrange arch_cpu_init()