Switch to ASK's kernel

patches/mono-ask.mk

@@ -60,7 +60,9 @@ prepare-kernel:
 # 2. Build the kernel tree (mandatory before out-of-tree modules can be built)
 build-kernel: prepare-kernel
 	@echo "--> Building the Linux kernel natively..."
-	$(MAKE) -C $(KDIR) ARCH=$(ARCH) CROSS_COMPILE=$(GNU_CROSS) -j$$(nproc) Image modules
+	# Replace "dtbs" with the exact path to your target dtb
+	$(MAKE) -C $(KDIR) ARCH=$(ARCH) CROSS_COMPILE=$(GNU_CROSS) -j$$(nproc) \
+		Image modules freescale/mono-gateway-dk-sdk.dtb
 
 # 3. Build the ASK out-of-tree modules using the vendor Makefile
 modules: build-kernel