vfc_dev conversion to mutex: fallout