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