Update xvm-devconfig to version 0.80ubuntu3

Requested by glasgall/root@ATHENA.MIT.EDU

diff --git a/xvm-devconfig b/xvm-devconfig
index df747cf..1f01d59 160000 (submodule)
--- a/xvm-devconfig
+++ b/xvm-devconfig
@@ -1 +1 @@
-Subproject commit df747cfc315f9c320b2da8a80dd2fcd495add5cb
+Subproject commit 1f01d59f7b361f598995da79a904eab9534fd878