Re: [PATCH v2 14/25] x86: mp: Park CPUs before running the OS