Re: [U-Boot] [PATCH] x86: Pass correct cpu_index to ap_init()