Mutex documentation is unclear about software interrupts, tasklets and timers