[fedora-atomic] PR #85: manifest: Use 64 bit grub2 EFI