Add an option to have 64-byte (cache line) aligned mutexes.

30 jobs for wpk-aligned-mutexes in 8 minutes and 58 seconds (queued for 3 seconds)
latest