Re: [PATCH v2 17/25] x86: Don't enable SMP in SPL