Configure the GRUB boot loader
