Don’t enforce (U)EFI on arm64

debian/patches/Don-t-enforce-U-EFI-on-arm64.patch

+From: Michael Stapelberg <stapelberg@debian.org>
+Date: Wed, 23 Nov 2016 12:36:11 +0100
+Subject: =?utf-8?q?Don=E2=80=99t_enforce_=28U=29EFI_on_arm64?=
+
+The Raspberry Pi 3 uses arm64 but comes with a custom bootloader, so
+there is no need for UEFI.
+---
+ vmdebootstrap/constants.py | 2 +-
+ 1 file changed, 1 insertion(+), 1 deletion(-)
+
+diff --git a/vmdebootstrap/constants.py b/vmdebootstrap/constants.py
+index 9f39415..3d807c6 100644
+--- a/vmdebootstrap/constants.py
++++ b/vmdebootstrap/constants.py
+@@ -46,7 +46,7 @@ arch_table = {  # pylint: disable=invalid-name
+         'package': 'grub-efi-arm64',
+         'bin_package': 'grub-efi-arm64-bin',
+         'extra': None,
+-        'exclusive': True,
++        'exclusive': False,
+         'target': 'arm64-efi',
+     }
+ }

debian/patches/series

+Don-t-enforce-U-EFI-on-arm64.patch