---

sudo sed -i 's/GRUB_CMDLINE_LINUX_DEFAULT="/&mitigations=off /' /etc/default/grub

sudo grub-mkconfig -o /boot/efi/EFI/steamos/grub.cfg