Dual Boot: Edit the Grub loader