Fix generation of the Grub config file in the Makefile.