[PATCH] x86_64: Move the SMP time selection earlier