Question about RCU subsystem in Fiasco kernel.