diff --git a/core/tasks/kernel.mk b/core/tasks/kernel.mk
index ae4d648269135c30155b800268411a29ddd91502..e63c401cc324dc8f86cb9b3ef7f5f36bccad4eb7 100644
--- a/core/tasks/kernel.mk
+++ b/core/tasks/kernel.mk
@@ -16,7 +16,7 @@ KERNEL_CONFIG := $(KERNEL_OUT)/.config
 ifeq ($(BOARD_USES_UBOOT),true)
 	TARGET_PREBUILT_INT_KERNEL := $(KERNEL_OUT)/arch/$(TARGET_ARCH)/boot/uImage
 	TARGET_PREBUILT_INT_KERNEL_TYPE := uImage
-else if ($(BOARD_USES_UNCOMPRESSED_BOOT),true)
+else ifeq ($(BOARD_USES_UNCOMPRESSED_BOOT),true)
 	TARGET_PREBUILT_INT_KERNEL := $(KERNEL_OUT)/arch/$(TARGET_ARCH)/boot/Image
 	TARGET_PREBUILT_INT_KERNEL_TYPE := Image
 else