stage-pool/dest-install-grub@.sh: add a variant of GRUB2 install procedure for UEFI.
stage-pool/dest-generate-grub.sh: honor runtime-set config file prefix.