When booting with SeaBIOS, your distro's grub config is used.
In Trisquel, you can add "idle=halt" option to /etc/default/grub on the GRUB_CMDLINE_LINUX_DEFAULT= variable and then run "update-grub" command as root.

Reply via email to