"Not possible to generate the kernel image" error when building dtb binaries of OpenSTDroid kernel

[aditya_m]

I am trying to build the OpenSTDroid kernel, I first acquired the "STM32MPU Distribution Package for Android", Then as mentioned in https://wiki.st.com/stm32mpu/wiki/How_to_build_kernel_for_Android, I loaded the kernel & Then tried to build the dtb binaries using:

build_kernel dtb

And got the following error:

$ build_kernel dtb
[1/1]: Generate dtb binaries
ERROR: Not possible to generate the kernel image

After commenting out the &>${redirect_out} part where make is generating the dtb files, I get the following output:

$ build_kernel dtb
[1/1]: Generate dtb binaries
make[1]: *** No rule to make target 'dtbs'. Stop.
make: *** [Makefile:256: __sub-make] Error 2
ERROR: Not possible to generate the kernel image