[Pkg-raspi-maintainers] Bug#925062: raspi3-firmware: change to use arm_64bit=1

[Florian La Roche]

Package: raspi3-firmware
Version: 1.20190215-1
Severity: minor

Dear Maintainer,

currently "arm_control=0x200" is used to specify a 64bit kernel. This
could be changed to use "arm_64bit=1" as the preferred config option
from upstream.

best regards,

Florian La Roche


-- System Information:
Debian Release: buster/sid
  APT prefers testing
  APT policy: (500, 'testing'), (1, 'experimental')
Architecture: arm64 (aarch64)
Foreign Architectures: armhf

Kernel: Linux 5.0.0-trunk-arm64 (SMP w/4 CPU cores)
Kernel taint flags: TAINT_CRAP, TAINT_UNSIGNED_MODULE
Locale: LANG=de_DE.UTF-8, LC_CTYPE=de_DE.UTF-8 (charmap=UTF-8), LANGUAGE=de_DE.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 raspi3-firmware depends on:
ii  dosfstools  4.1-2

raspi3-firmware recommends no packages.

raspi3-firmware suggests no packages.

-- no debconf information