/* * release the audio timer * TODO: How to do this correctly on SMP systems? */