[PATCH] i386: cpu_relax() in crash.c and doublefault.c