CONFIG_RT_MUTEXES=y CONFIG_PREEMPT_RCU=y CONFIG_RCU_BOOST=y CONFIG_RCU_BOOST_PRIO=1 CONFIG_RCU_BOOST_DELAY=500