My system is apparently being managed with promxox-boot-tool, when I ran update-grub after adding mitigations=off to the GRUB_CMDLINE_LINUX_DEFAULT line in /etc/default/grub. However I cannot figure out how to apply mitigations=off or its equivalent to the system as it doesn't seem to be using grub and somehow i'm unable to google for this answer. Thanks for any help!