kernel: Make sure source tree is totally clean

Left over source tree generated files for picoimx will cause builds to
fail. To handle this, force a "make mrproper" in kernel source trees
before a build to make sure that all generated files have been removed.

In theory, this can be removed once picoimx has been cleaned up.

Change-Id: Iaa8980e2a3add58c179c178a8ef77665b703042a
diff --git a/kernel.mk b/kernel.mk
index 4c63e02..ede1a53 100644
--- a/kernel.mk
+++ b/kernel.mk
@@ -161,6 +161,7 @@
 	$(hide) echo "Building $(KERNEL_ARCH) $(KERNEL_VERSION) kernel ..."
 	$(hide) rm -rf $(KERNEL_OUT)/arch/$(KERNEL_ARCH)/boot/dts
 	$(hide) rm -rf $(PRODUCT_OUT)/kernel.dtb $(PRODUCT_OUT)/kernel-and-dtb
+	$(hide) $(MAKE) -C $(TARGET_KERNEL_SRC) mrproper
 	$(call build_kernel,all)
 
 $(KERNEL_MODULES_INSTALL): $(KERNEL_BIN)