Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision ac47b7c2b6e75a9b9aa60b443fca9a151cf89e5c)
+++ kernel/Makefile	(revision 76093aefd3bb77531c0e7013bb69e1546d81aab9)
@@ -344,4 +344,7 @@
 	-rm -f kernel.bin kernel.raw kernel.map kernel.map.pre kernel.objdump kernel.disasm generic/src/debug/real_map.bin Makefile.depend* generic/include/arch generic/include/genarch arch/$(KARCH)/_link.ld
 	find generic/src/ arch/*/src/ genarch/src/ test/ -name '*.o' -follow -exec rm \{\} \;
+ifeq ($(PLATFORM),arm32)
+	rm -f arch/$(KARCH)/include/machine.h 
+endif
 	for arch in arch/* ; do \
 	    [ -e $$arch/_link.ld ] && rm $$arch/_link.ld 2>/dev/null ; \
@@ -351,4 +354,7 @@
 	ln -sfn ../../arch/$(KARCH)/include/ generic/include/arch
 	ln -sfn ../../genarch/include/ generic/include/genarch
+ifeq ($(PLATFORM),arm32)
+	ln -sfn mach/$(MACHINE)/$(MACHINE).h arch/$(KARCH)/include/machine.h 
+endif
 
 depend: archlinks