defconfig: enable nohz fast rcu
params: replace printk(KERN_<LVL>...) with pr_<lvl>(...)