That fix really confused me as well. Not only does the code behave differently from the problematic code, but why do they even need the mutex at that point?
It really makes me wonder why it's not more common. They literally don't have to write any firmware, just use one of the thousands already available provided that the license allows for it