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