CRED: Holding a spinlock does not imply the holding of RCU read lock