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