Index: kernel/arch/ia32/Makefile.inc
===================================================================
--- kernel/arch/ia32/Makefile.inc	(revision 72c4ed4b95caa5c92f42b4d8c385a93b72c099de)
+++ kernel/arch/ia32/Makefile.inc	(revision 99373fe634e57f8fd0d7e00007f064f11ed0c6bb)
@@ -37,5 +37,5 @@
 
 DEFS += -DMACHINE=$(MACHINE) -D__32_BITS__
-SUNCC_CFLAGS = -m32
+SUNCC_CFLAGS += -m32
 
 ## Accepted CPUs
Index: kernel/arch/ia32xen/Makefile.inc
===================================================================
--- kernel/arch/ia32xen/Makefile.inc	(revision 72c4ed4b95caa5c92f42b4d8c385a93b72c099de)
+++ kernel/arch/ia32xen/Makefile.inc	(revision 99373fe634e57f8fd0d7e00007f064f11ed0c6bb)
@@ -38,5 +38,5 @@
 DEFS += -DMACHINE=$(MACHINE) -D__32_BITS__
 
-SUNCC_CFLAGS = -m32
+SUNCC_CFLAGS += -m32
 
 ## Accepted CPUs