for bug reported by symingz@gmail.com and cs1100254@cse.iitd.ernet.in

Incorporate new understanding of/with Intel SMP spec.

Dropped cmpxchg in favor of xchg, to match lecture notes.

Use xchg to release lock, for future protection and to
keep gcc from acting clever.