nfc: changed pthread_mutex to qemu_mutex