drivers/base/attribute_container.c: use mutex instead of binary semaphore