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