kerninst: Add and use GRUB2_CONFIG_FILE option to set the location of
the GRUB2 configuration file.