Does anyone know how to build a working kernel image from the image dtb file without downloading the whole android source?