[PATCH -next] vermilion.c: use DEFINE_MUTEX (and mutex_init() had been too late)