Made grub menu item listen to /etc/default/grub