Re: [PATCH v2 07/25] x86: mp_init: Set up the CPU numbers at the start