Use new mutex_isr API
Merge branch 'master' of github.com:Tinkerforge/temperature-ir-bricklet