Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision 6ac14a70ed101ee9fa8379a5f9ef15a38f08aec5)
+++ kernel/Makefile	(revision fa5526dd259d2b66a5a281ba811ad7e537f57737)
@@ -344,7 +344,4 @@
 	-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 ; \
@@ -354,7 +351,4 @@
 	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