Index: kernel/generic/include/console/chardev.h
===================================================================
--- kernel/generic/include/console/chardev.h	(revision 90c8b8debd741b2a29ed7955b99cd5ea34956065)
+++ kernel/generic/include/console/chardev.h	(revision a99cf073e9a8e1481a02b6120032ce29fd736ea1)
@@ -74,4 +74,7 @@
 	/** Write character to output. */
 	void (* write)(struct outdev *, wchar_t, bool);
+	
+	/** Redraw any previously cached characters. */
+	void (* redraw)(struct outdev *);
 } outdev_operations_t;
 
Index: kernel/generic/include/console/console.h
===================================================================
--- kernel/generic/include/console/console.h	(revision 90c8b8debd741b2a29ed7955b99cd5ea34956065)
+++ kernel/generic/include/console/console.h	(revision a99cf073e9a8e1481a02b6120032ce29fd736ea1)
@@ -60,7 +60,4 @@
 extern unative_t sys_debug_disable_console(void);
 
-extern void arch_grab_console(void);
-extern void arch_release_console(void);
-
 #endif /* KERN_CONSOLE_H_ */
 
Index: kernel/generic/include/sysinfo/sysinfo.h
===================================================================
--- kernel/generic/include/sysinfo/sysinfo.h	(revision 90c8b8debd741b2a29ed7955b99cd5ea34956065)
+++ kernel/generic/include/sysinfo/sysinfo.h	(revision a99cf073e9a8e1481a02b6120032ce29fd736ea1)
@@ -38,4 +38,6 @@
 #include <arch/types.h>
 #include <string.h>
+
+extern bool fb_exported;
 
 typedef union sysinfo_item_val {