Realised that /etc/default/grub must be modified in installer_process (after grub is installed!) and not before. We'll see how to do this