main/postmarketos-update-kernel: heimdall-isorec: use dtb
Use the dtb-appended kernel file, e.g. postmarketos-exynos4-dtb instead of postmarketos-exynos4, if it is available. This is needed to flash a mainline kernel with appended dtb to isorec devices.
Related: pmaports!1634, pmbootstrap!1986 (merged)
Edited by Administrator