vmm: Destroy mutexes.
Reviewed by: corvink, markj Differential Revision: https://reviews.freebsd.org/D37171