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
