Forwarding the DMI port of BBSIM

Change-Id: I0f2ff3f74c187c9ff498de58d7dc6878c34500db
diff --git a/VERSION b/VERSION
index 8710cfd..f547a37 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-5.1.6
+5.1.7-dev