Driver core: use mutex instead of semaphore in DMA pool handler