Index: boot/arch/ppc32/loader/Makefile
===================================================================
--- boot/arch/ppc32/loader/Makefile	(revision fb0e6f03f428e14b816f7a37cb110f0b908727d5)
+++ boot/arch/ppc32/loader/Makefile	(revision 94d614ef2057652d47a2a1df5f4c4809bbe31b2f)
@@ -51,5 +51,5 @@
 SOURCES = \
 	main.c \
-	ofw.c \
+	ofwarch.c \
 	../../../genarch/ofw.c \
 	../../../generic/printf.c \