Index: defaults/arm32/Makefile.config
===================================================================
--- defaults/arm32/Makefile.config	(revision d42a0bdaf2edb208d63cda9675f5d6971f578478)
+++ defaults/arm32/Makefile.config	(revision 192565bb8d97d3d2b9c03b06e4ed08402ecbbccf)
@@ -16,4 +16,7 @@
 # Kernel console support
 CONFIG_KCONSOLE = y
+
+# Number of shell consoles
+CONFIG_VC_COUNT = 5
 
 # Kernel symbol information