implement mutex with ldrex and strexeq