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