Index: kernel/arch/arm32/src/console.c
===================================================================
--- kernel/arch/arm32/src/console.c	(revision 7ed2d8f913a802b35d24afa1cf356ce0b315b603)
+++ kernel/arch/arm32/src/console.c	(revision c571f428780356712393ffa289dcab9107a5367f)
@@ -38,4 +38,6 @@
 #include <arch/machine.h>
 
+#include <genarch/fb/fb.h>
+
 void console_init(devno_t devno)
 {
@@ -46,4 +48,7 @@
 void arch_grab_console(void)
 {
+#ifdef CONFIG_FB
+	fb_redraw();
+#endif
 	machine_grab_console();
 }