correctement, **modifiez le fichier '/etc/default/grub' pour ajouter** l'information suivante à la ligne de commande GRUB_CMDLINE_LINUX_DEFAULT : rcutree.rcu_idle_gp_delay=1.
<code root>nano /etc/default/grub</code>
<code>(...)
GRUB_CMDLINE_LINUX_DEFAULT="quiet rcutree.rcu_idle_gp_delay=1"
(...)</code>
Mettez-