printk format support by lib/vsprintf.c
quiet compiler output
add unresolved symbol
replace rcu_enter_nohz/rcu_exit_nohz to rcu_idle_xxx
more quiet make output
clean up compiler warning messages