stage-pool/dest-install-grub{-efi,@}.sh: add a variant of GRUB2 install procedure for UEFI

Also report config prefix from the old BIOS stage.
stage-pool/dest-generate-grub.sh: honor runtime-set config file prefix.