Index: kernel/generic/src/console/cmd.c
===================================================================
--- kernel/generic/src/console/cmd.c	(revision 6f7071b562c845499c96c4a1354e9a5d3ce94a05)
+++ kernel/generic/src/console/cmd.c	(revision c0ea73977181a878e909e0c19075283d21709426)
@@ -70,6 +70,4 @@
 #include <sysinfo/sysinfo.h>
 #include <symtab.h>
-#include <synch/workqueue.h>
-#include <synch/rcu.h>
 #include <errno.h>
 
@@ -536,22 +534,4 @@
 };
 
-/* Data and methods for the 'workq' command */
-static int cmd_workq(cmd_arg_t *argv);
-static cmd_info_t workq_info = {
-	.name = "workq",
-	.description = "Show global workq information.",
-	.func = cmd_workq,
-	.argc = 0
-};
-
-/* Data and methods for the 'workq' command */
-static int cmd_rcu(cmd_arg_t *argv);
-static cmd_info_t rcu_info = {
-	.name = "rcu",
-	.description = "Show RCU run-time statistics.",
-	.func = cmd_rcu,
-	.argc = 0
-};
-
 /* Data and methods for 'ipc' command */
 static int cmd_ipc(cmd_arg_t *argv);
@@ -618,5 +598,4 @@
 	&physmem_info,
 	&reboot_info,
-	&rcu_info,
 	&sched_info,
 	&set4_info,
@@ -628,5 +607,4 @@
 	&uptime_info,
 	&version_info,
-	&workq_info,
 	&zones_info,
 	&zone_info,
@@ -1302,28 +1280,4 @@
 }
 
-/** Prints information about the global work queue.
- *
- * @param argv Ignores
- *
- * @return Always 1
- */
-int cmd_workq(cmd_arg_t *argv)
-{
-	workq_global_print_info();
-	return 1;
-}
-
-/** Prints RCU statistics.
- *
- * @param argv Ignores
- *
- * @return Always 1
- */
-int cmd_rcu(cmd_arg_t *argv)
-{
-	rcu_print_stat();
-	return 1;
-}
-
 /** Command for listing memory zones
  *