Spinlock unlock used a 64 bit write on 32 bit integer, overwriting some random memory. This caused some really hard to find bugs