19ce5874b7
Ubuntu 20.04's GRUB supports multiple EFI disks. There is a small caveat in that it doesn't prompt in the chroot, but it works fine after the reboot. Using the stock support means that the ESPs will be kept in sync automatically. Signed-off-by: Richard Laager <rlaager@wiktel.com> Refs issue #55