I've got one of those that was fine last time I tried it. I'll try it in the morning.

I wonder whether the change of lock to use semacquire instead of tas doesn't work well on the (that) ARM.

It seems a strange coincidence that it always fails there.