main/devicepkg-dev: allow specifying kernel image in downstreamkernel_prepare