Configuration files for GRUB.