Bug#812242: flash-kernel: SolidRun HummingBoard isn't supported

[Johannes Berg <johannes@sipsolutions.net>]

Package: flash-kernel
Version: support HummingBoard
Severity: normal
Tags: patch

Just add the following to the database:

Machine: SolidRun HummingBoard Dual/Quad
Kernel-Flavors: armmp
DTB-Id: imx6q-hummingboard.dtb
Boot-Script-Path: /boot/boot.scr
U-Boot-Script-Name: bootscr.cubox-i
Required-Packages: u-boot-tools

One can use the Cubox-i instead, but then PCI-E won't work, and it'd
be necessary to create /etc/flash-kernel/machine.

-- System Information:
Debian Release: stretch/sid
  APT prefers testing
  APT policy: (990, 'testing'), (500, 'unstable'), (500, 'stable'), (500, 'oldstable')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

Kernel: Linux 4.2.0-1-amd64 (SMP w/4 CPU cores)
Locale: LANG=en_GB.UTF-8, LC_CTYPE=en_GB.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)