This still requires building of kernel zImage
Correct use of TARGET_PREBUILT_KERNEL or TARGET_PREBUILT_RECOVERY_KERNEL will avoid this