| 
														
															@@ -4628,7 +4628,7 @@ CONFIG_PWRSEQ_SIMPLE=y 
														 | 
													
												
											
												
													
														| 
														 | 
														
															 # CONFIG_RAW_DRIVER is not set 
														 | 
														
														 | 
														
															 # CONFIG_RAW_DRIVER is not set 
														 | 
													
												
											
												
													
														| 
														 | 
														
															 # CONFIG_RBTREE_TEST is not set 
														 | 
														
														 | 
														
															 # CONFIG_RBTREE_TEST is not set 
														 | 
													
												
											
												
													
														| 
														 | 
														
															 # CONFIG_RCU_BOOST is not set 
														 | 
														
														 | 
														
															 # CONFIG_RCU_BOOST is not set 
														 | 
													
												
											
												
													
														| 
														 | 
														
															-CONFIG_RCU_CPU_STALL_TIMEOUT=60 
														 | 
														
														 | 
														
															 
														 | 
													
												
											
												
													
														| 
														 | 
														
															 
														 | 
														
														 | 
														
															+CONFIG_RCU_CPU_STALL_TIMEOUT=21 
														 | 
													
												
											
												
													
														| 
														 | 
														
															 # CONFIG_RCU_EQS_DEBUG is not set 
														 | 
														
														 | 
														
															 # CONFIG_RCU_EQS_DEBUG is not set 
														 | 
													
												
											
												
													
														| 
														 | 
														
															 # CONFIG_RCU_EXPEDITE_BOOT is not set 
														 | 
														
														 | 
														
															 # CONFIG_RCU_EXPEDITE_BOOT is not set 
														 | 
													
												
											
												
													
														| 
														 | 
														
															 # CONFIG_RCU_EXPERT is not set 
														 | 
														
														 | 
														
															 # CONFIG_RCU_EXPERT is not set 
														 |