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