After building latest AOSP from source
lunch db845c-userdebug and flashing it to the board (
db845c), I tried to replace the kernel too. However the device tree seems to be missing somehow so it never gets started, Is there some recent instruction how to get the dtb into the vender boot image?
BootLinux: failed to get dtbo image DTB offset is incorrect, kernel image does not have appended DTB