[PATCH] x86_64: Use msleep in smpboot.c