[PATCH] i386: Little cleanups in smpboot.c