i386: use gcc sync builtins for spinlocks