[PATCH v2 -next] vermilion.c: use DEFINE_MUTEX() for mutex lock