Disconnect libsel4dma from vmm libraries

This is an unused dependency and can be removed.

libsel4vm/CMakeLists.txt

diff --git a/libsel4vm/CMakeLists.txt b/libsel4vm/CMakeLists.txt
index 427c2aa..b6ed376 100644
--- a/libsel4vm/CMakeLists.txt
+++ b/libsel4vm/CMakeLists.txt
@@ -77,7 +77,6 @@
     sel4utils
     sel4vka
     sel4vspace
-    sel4dma
     platsupport
     sel4_autoconf
     sel4vm_Config

libsel4vmmplatsupport/src/arch/arm/devices/vusb.c

diff --git a/libsel4vmmplatsupport/src/arch/arm/devices/vusb.c b/libsel4vmmplatsupport/src/arch/arm/devices/vusb.c
index e07ad2b..c963b35 100644
--- a/libsel4vmmplatsupport/src/arch/arm/devices/vusb.c
+++ b/libsel4vmmplatsupport/src/arch/arm/devices/vusb.c
@@ -29,7 +29,6 @@
 #include <stdlib.h>
 #include <usb/usb_host.h>
 #include <usb/usb.h>
-#include <dma/dma.h>
 
 #include <string.h>