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