Switch back to the default Cabal submodule

  We thought we needed to add an os Xen, but HaLVM is already there.