Configure the GRUB boot loader