gzboot images that are installed in ${DESTDIR}/usr/mdec. Simplifies building of these images considerably. Fixes PR port-arm32/21352.