Re: [PATCH 10/21] linux: Disable the Distributed Lock Manager