Linux não inicia “rcu_sched detected”

Tive este problema quando tentei aumentar o número de CPU's [...]