kernel.mk: fix TARGET_PREBUILT_KERNEL issue

diff --git a/core/kernel.mk b/core/kernel.mk
index f263813..fc38451 100644 (file)
--- a/core/kernel.mk
+++ b/core/kernel.mk
@@ -47,4 +47,9 @@ TARGET_PREBUILT_KERNEL  := $(INSTALLED_KERNEL_TARGET)
 .PHONY: kernel
 kernel: $(TARGET_PREBUILT_KERNEL)
 
-endif
+else
+
+$(INSTALLED_KERNEL_TARGET): $(TARGET_PREBUILT_KERNEL) | $(ACP)
+       $(copy-file-to-new-target)
+
+endif # TARGET_PREBUILT_KERNEL