# non-auto to separate bugs
KERNEL_CONFIG+="TINY_RCU"