Index: defaults/arm32/Makefile.config
===================================================================
--- defaults/arm32/Makefile.config	(revision fd89cf9348a9e87d67368d99f0529f855672363d)
+++ defaults/arm32/Makefile.config	(revision 452e91b5b5c24c668b2a7a4464a210e54c927980)
@@ -29,4 +29,7 @@
 CONFIG_TEST = y
 
+# Kernel RCU implementation
+RCU = PREEMPT_A
+
 # What is your input device?
 CONFIG_HID_IN = generic