SELFOUR-1283: Include arch vspace.h from top level

diff --git a/libsel4utils/arch_include/arm/sel4utils/arch/vspace.h b/libsel4utils/arch_include/arm/sel4utils/arch/vspace.h
new file mode 100644
index 0000000..e4e3986
--- /dev/null
+++ b/libsel4utils/arch_include/arm/sel4utils/arch/vspace.h

@@ -0,0 +1,14 @@
+/*
+ * Copyright 2018, Data61
+ * Commonwealth Scientific and Industrial Research Organisation (CSIRO)
+ * ABN 41 687 119 230.
+ *
+ * This software may be distributed and modified according to the terms of
+ * the BSD 2-Clause license. Note that NO WARRANTY is provided.
+ * See "LICENSE_BSD2.txt" for details.
+ *
+ * @TAG(DATA61_BSD)
+ */
+#pragma once
+
+#include <sel4utils/sel4_arch/util.h>

diff --git a/libsel4utils/arch_include/x86/sel4utils/arch/vspace.h b/libsel4utils/arch_include/x86/sel4utils/arch/vspace.h
new file mode 100644
index 0000000..c4fb989
--- /dev/null
+++ b/libsel4utils/arch_include/x86/sel4utils/arch/vspace.h

@@ -0,0 +1,14 @@
+/*
+ * Copyright 2018, Data61
+ * Commonwealth Scientific and Industrial Research Organisation (CSIRO)
+ * ABN 41 687 119 230.
+ *
+ * This software may be distributed and modified according to the terms of
+ * the BSD 2-Clause license. Note that NO WARRANTY is provided.
+ * See "LICENSE_BSD2.txt" for details.
+ *
+ * @TAG(DATA61_BSD)
+ */
+#pragma once
+
+#include <sel4utils/sel4_arch/vspace.h>

diff --git a/libsel4utils/include/sel4utils/vspace.h b/libsel4utils/include/sel4utils/vspace.h
index 23b2c88..fc3581d 100644
--- a/libsel4utils/include/sel4utils/vspace.h
+++ b/libsel4utils/include/sel4utils/vspace.h

@@ -35,7 +35,7 @@
 #include <vspace/vspace.h>
 #include <vka/vka.h>
 #include <sel4utils/util.h>
-#include <sel4utils/sel4_arch/vspace.h>
+#include <sel4utils/arch/vspace.h>
 
 /* These definitions are only here so that you can take the size of them.
  * TOUCHING THESE DATA STRUCTURES IN ANY WAY WILL BREAK THE WORLD