Package: flash-kernel Version: 3.90 Severity: normal There's a good chance that the devicetree file for one version of the kernel will not work with another version. I suspect this was the case, and confirmed it today when my cubietruck failed to boot with mismatched versions.
So, it would be good if /etc/flash-kernel/dtbs could prefer a filename with the kernel version in it, over the unversioned file. -- System Information: Debian Release: buster/sid APT prefers unstable APT policy: (500, 'unstable') Architecture: amd64 (x86_64) Kernel: Linux 4.14.0-3-amd64 (SMP w/4 CPU cores) Locale: LANG=en_US.utf8, LC_CTYPE=en_US.utf8 (charmap=UTF-8), LANGUAGE=en_US.utf8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Init: systemd (via /run/systemd/system) LSM: AppArmor: enabled -- see shy jo
Description: PGP signature