Add RCU boosting

Change-Id: Ia582437b22e3ae50ce0281883e323930758d99cb