Pkg xen devel - Apr 2016 - multiboot.mod and module.mod missing in grub-efi-arm64

Hallo,

I am currently installing XEN on an ARM64 EFI machine. (Debian
Testing),  Therefore, I installed the following packages:

__________________________________________________________________
root at armbox:/etc# dpkg -l "xen*" | awk '/^ii/ {print $2
"\t\t" $3}'
xen-hypervisor-4.6-arm64        4.6.0-1+nmu2
xenstore-utils                  4.6.0-1+nmu2
root at armbox:/etc# dpkg -l "grub*" | awk '/^ii/ {print $2
"\t\t" $3}'
grub-common                     2.02~beta2-36
grub-efi-arm64                  2.02~beta2-36
grub-efi-arm64-bin              2.02~beta2-36
grub2-common                    2.02~beta2-36
__________________________________________________________________

Grub generates the following boot entry: (based on/etc/grub.d/20_linux_xen)
__________________________________________________________________
multiboot       /boot/xen-4.6-arm64 placeholder   ${xen_rm_opts}
echo    'Linux 4.5.0-1-arm64 wird geladen ?'
module  /boot/vmlinuz-4.5.0-1-arm64 placeholder
root=UUID=978551a9-c49d-4c48-a5a7-2648b1d757f9 ro
echo    'Initiale Ramdisk wird geladen ?'
module  --nounzip   /boot/initrd.img-4.5.0-1-arm64
__________________________________________________________________

This leads to a grub error message stating that the commands mulitboot
and module can not be found. These files are unfortunately only
available for x86 and x86_64.[0]

Thus please insert the corresponding files (multiboot.mod) into the
grub-efi-arm64 package or change the way xen is configured in grub so
that it is able to load.

Kind Regards,
Thomas Kittel

[0]
*https://packages.debian.org/search?suite=default&section=all&arch=any&searchon=contents&keywords=multiboot.mod*

-- 
Thomas Kittel
Lehrstuhl I 20 - Sicherheit in der Informatik
Prof. Dr. Claudia Eckert
Institut f?r Informatik TU-M?nchen
Boltzmannstr. 3
85748 Garching
Tel. +49 89 289 18589
Fax  +49 89 289 18579
e-mail: kittel at sec.in.tum.de 
http://www.sec.in.tum.de