Fixes the script which in absence of vmlinuz-dtb since boot-deploy!50 (merged) made the device unusable.