Bug#963033: linux-image-arm64: kexec loses EFI system tables with Debian kernels

[Da Xue <da+debianbug@lessconfused.com>]

Package: linux-image-arm64
Version: 4.19+105+deb10u4
Severity: important
Tags: d-i

Dear Maintainer,

I am testing with ARM64 systems with u-boot. Debian is booted in EFI mode and properly detects the EFI system tables. 

[    0.000000] efi: EFI v2.80 by Das U-Boot                                                                                                 
[    0.000000] efi:  RTPROP=0x3aef9040  SMBIOS=0x3aeee000  RNG=0x39b81040  MEMRESERVE=0x39b80040                                            
[    0.000000] efi: seeding entropy pool  


Anytime I kexec the same or another Debian kernel, I get the following message:

[    0.000000] efi: Getting EFI parameters from FDT:
[    0.000000] efi: Can't find 'System Table' in device tree!

This problem is occuring with both 4.19, 5.4, 5.6, and 5.7 from Debian. It does not occur with SUSE or Fedora kernels. 

-- System Information:
Debian Release: 10.4
  APT prefers stable-updates
  APT policy: (500, 'stable-updates'), (500, 'stable')
Architecture: arm64 (aarch64)

Kernel: Linux 4.19.0-9-arm64 (SMP w/4 CPU cores)
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8), LANGUAGE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /usr/bin/dash
Init: systemd (via /run/systemd/system)
LSM: AppArmor: enabled

Versions of packages linux-image-arm64 depends on:
ii  linux-image-4.19.0-9-arm64  4.19.118-2+deb10u1

linux-image-arm64 recommends no packages.

linux-image-arm64 suggests no packages.

-- no debconf information