configure: add --disable-tcg configure option