Use gcc attribute to force spinlock padding to 64B.
Move most of mutex.h into hardware.h.