Swap to using a Mutex for interlocking with SIV