stage-pool/dest-install-grub@.sh: use ordinary /boot grub installation prefix for UEFI installs.

There is a problem - theme and supplemental files are currently
installed into fixed /boot directory, and using different grub prefix
breaks the setup.

In a long-term TODO list for now.
stage-data/dest-install-pkglist{,-build}.sh: pkglist: update.