x86: "nosmp" command line option should force the system into UP mode