rcu_sched stall in a dual-core dedicated server on a datacenter