[PATCH] Fixed error about strexh and strexb using the same register (from https://gist.github.com/1942280)