Index: defaults/special/Makefile.config
===================================================================
--- defaults/special/Makefile.config	(revision 33c29521d96b892e096419a2fd8beb867e2596f6)
+++ defaults/special/Makefile.config	(revision 5e3d959749f9ff986237b65e518b0dc56a0c639f)
@@ -29,4 +29,7 @@
 CONFIG_TEST = y
 
+# Kernel RCU implementation
+RCU = PREEMPT_A
+
 # Load disk drivers on startup
 CONFIG_START_BD = n