# /home/rmainz/bin/vidiff /etc/default/grub
# Begin differences
--- /etc/default/grub.old.13238 2022-09-05 13:25:48.940110377 +0200
+++ /etc/default/grub.new.13238 2022-09-05 13:26:02.911297226 +0200
@@ -6,7 +6,7 @@
 GRUB_DEFAULT=0
 GRUB_TIMEOUT=5
 GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian`
-GRUB_CMDLINE_LINUX_DEFAULT="quiet acpi=off mitigations=off l1tf=off mds=off"
+GRUB_CMDLINE_LINUX_DEFAULT="quiet eagerfpu=on acpi=off mitigations=off l1tf=off mds=off"
 GRUB_CMDLINE_LINUX="mitigations=off l1tf=off mds=off"
 
 # Uncomment to enable BadRAM filtering, modify to suit your needs
# End differences
root@DERFWNB4966:~# update-grub
Generating grub configuration file ...
Found background image: /usr/share/images/desktop-base/desktop-grub.png
Found linux image: /boot/vmlinuz-5.10.0-13-rt-686-pae
Found initrd image: /boot/initrd.img-5.10.0-13-rt-686-pae
Found linux image: /boot/vmlinuz-5.10.0-13-686-pae
Found initrd image: /boot/initrd.img-5.10.0-13-686-pae
Found linux image: /boot/vmlinuz-5.10.0-8-rt-686-pae
Found initrd image: /boot/initrd.img-5.10.0-8-rt-686-pae
Found linux image: /boot/vmlinuz-5.10.0-8-686-pae
Found initrd image: /boot/initrd.img-5.10.0-8-686-pae
done