diff --git a/_includes/sections/operating-systems.html b/_includes/sections/operating-systems.html
index 047253f3..e356ad90 100644
--- a/_includes/sections/operating-systems.html
+++ b/_includes/sections/operating-systems.html
@@ -55,7 +55,7 @@ tor="http://sejnfjrq6szgca7v.onion"
 <ol>
   <li><code>sudo mkdir /etc/default/grub.d/</code> to create a directory for additional grub configuration
   <li><code>echo GRUB_CMDLINE_LINUX_DEFAULT="$GRUB_CMDLINE_LINUX_DEFAULT mds=full,nosmt" | sudo tee /etc/default/grub.d/mds.conf</code> to create a new grub config file source with the echoed content</li>
-  <li><code>sudo update-grub</code> to generate a new config file including these kernel flags
+  <li><code>sudo grub-mkconfig -o /boot/grub/grub.cfg</code> (or on Debian/Ubuntu based distributions <code>sudo update-grub</code> to generate a new config file including this new kernel flag
   <li><code>sudo reboot</code> to reboot
   <li>afterward the reboot check <code>tail -n +1 /sys/devices/system/cpu/vulnerabilities/*</code> again to see that MDS now says SMT disabled.
 </ol>