[PATCH] cpu_relax(): smpboot.c