Re: [U-Boot] [PATCH 14/39] x86: Use the standard arch_cpu_init() function