SQUASHME: move qemu-i386 HWTIMER_SPIN_BARRIER