message: disable CPU_SPINWAIT
diff: * Hyper-threaded CPUs may need a special instruction inside spin loops in
  * order to yield to another virtual CPU.
  */
  -#define CPU_SPINWAIT __asm__ volatile("isb")
  +//#define CPU_SPINWAIT __asm__ volatile("isb")
  /* 1 if CPU_SPINWAIT is defined, 0 otherwise. */
  -#define HAVE_CPU_SPINWAIT 1
  +//#define HAVE_CPU_SPINWAIT 1
  /*
  * Number of significant bits in virtual addresses. This may be less than the
  