Bug#906696: flash-kernel: Please add an entry for the Rock64

[Josua Mayer <josua.mayer97@gmail.com>]

Hi Vagrant,

thanks for your quick response.
I checked on buster - and it does carry a version exhibiting the
described behaviour.
So I think it is safe to establish rockchip/rk3328-rock64.dtb for rock64.
^^ which is also in line with pine64+: allwinner/sun50i-a64-pine64-plus.dtb

After a lot of thought I have come to believe the sane approach is to
use a boot.scr when flash-kernel is involved, just like all other boards
do. No messing with efi partition like I tried earlier. So I propose
using following machine entry:

Machine: Pine64 Rock64
Kernel-Flavors: arm64
DTB-Id: rockchip/rk3328-rock64.dtb
Boot-Script-Path: /boot/boot.scr
U-Boot-Script-Name: bootscr.uboot-generic
Required-Packages: u-boot-tools

Yours sincerely
Josua Mayer