:: commit cbc7e5a8608dd76aa559c734291d54287698126e

diff --git a/common/drivers/vga_textmode.c b/common/drivers/vga_textmode.c
index 8f83768c..57e57e10 100644
--- a/common/drivers/vga_textmode.c
+++ b/common/drivers/vga_textmode.c
@@ -354,7 +354,15 @@ void vga_textmode_init(bool managed) {
 
     term->full_refresh(term);
 
-    term_backend = TEXTMODE;
+    if (!managed) {
+        term->deinit(term, pmm_free);
+        pmm_free(terms, sizeof(void *));
+        terms_i = 0;
+        terms = NULL;
+        term_backend = _NOT_READY;
+    } else {
+        term_backend = TEXTMODE;
+    }
 }
 
 #endif