Index: defaults/ia32/Makefile.config
===================================================================
--- defaults/ia32/Makefile.config	(revision 19a9e3af3619c8b9d92329b1130881a8af83b90f)
+++ defaults/ia32/Makefile.config	(revision 497bd656d30dfa5181c542cab4d9d1807cbe1bbd)
@@ -44,4 +44,7 @@
 CONFIG_TEST = y
 
+# Kernel RCU implementation
+RCU = PREEMPT_A
+
 # Input device class
 CONFIG_HID_IN = generic