Reorganize GRUB-related code so we call update-grub after either /etc/default/grub modification or mode change of 05_debian_theme.