Update xvm-devconfig to version 0.80ubuntu1

Requested by glasgall/root@ATHENA.MIT.EDU

diff --git a/xvm-devconfig b/xvm-devconfig
index 6495aea..48ccd39 160000 (submodule)
--- a/xvm-devconfig
+++ b/xvm-devconfig
@@ -1 +1 @@
-Subproject commit 6495aea5f8056f65e184911ad41b6f0068ed3744
+Subproject commit 48ccd3963dc798984a799d894d8c0635ec3b099b