diff --git a/platform/generic/spacemit/k1.c b/platform/generic/spacemit/k1.c
index 5430bbe8..7ee5f17a 100644
--- a/platform/generic/spacemit/k1.c
+++ b/platform/generic/spacemit/k1.c
@@ -51,10 +51,10 @@ static void spacemit_k1_pre_init(void)
 	scratch = sbi_scratch_thishart_ptr();
 
 	writel(scratch->warmboot_addr, (unsigned int *)C0_RVBADDR_LO_ADDR);
-	writel(scratch->warmboot_addr >> 32, (unsigned int *)C0_RVBADDR_HI_ADDR);
+	writel((u64)scratch->warmboot_addr >> 32, (unsigned int *)C0_RVBADDR_HI_ADDR);
 
 	writel(scratch->warmboot_addr, (unsigned int *)C1_RVBADDR_LO_ADDR);
-	writel(scratch->warmboot_addr >> 32, (unsigned int *)C1_RVBADDR_HI_ADDR);
+	writel((u64)scratch->warmboot_addr >> 32, (unsigned int *)C1_RVBADDR_HI_ADDR);
 
 	for (i = 0; i < PLATFORM_MAX_CPUS; i++) {
 		clusterid = CPU_TO_CLUSTER(i);
diff --git a/platform/generic/spacemit/objects.mk b/platform/generic/spacemit/objects.mk
new file mode 100644
index 00000000..dcb37867
--- /dev/null
+++ b/platform/generic/spacemit/objects.mk
@@ -0,0 +1,6 @@
+#
+# SPDX-License-Identifier: BSD-2-Clause
+#
+
+carray-platform_override_modules-$(CONFIG_PLATFORM_SPACEMIT_K1) += spacemit_k1
+platform-objs-$(CONFIG_PLATFORM_SPACEMIT_K1) += spacemit/k1.o