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