diff --git a/debian/patches-debian/powerpc-mkvmlinuz-support.patch b/debian/patches-debian/powerpc-mkvmlinuz-support.patch
index 0837292ab..f33d3658a 100644
--- a/debian/patches-debian/powerpc-mkvmlinuz-support.patch
+++ b/debian/patches-debian/powerpc-mkvmlinuz-support.patch
@@ -34,7 +34,7 @@
 +	install -m 644 -o root -g root ../../../lib/lib.a $(INSTALL_MKVMLINUZ)/lib
 +	install -m 644 -o root -g root lib/lib.a $(INSTALL_MKVMLINUZ)/lib/ppc.a
 +	install -m 644 -o root -g root common/lib.a $(INSTALL_MKVMLINUZ)/lib/common.a
-+	install -m 644 -o root -g root boot/of1275/lib.a $(INSTALL_MKVMLINUZ)/lib/of.a
++	install -m 644 -o root -g root of1275/lib.a $(INSTALL_MKVMLINUZ)/lib/of.a
 +
 +	mkdir -p $(INSTALL_MKVMLINUZ)/obj/openfirmware
 +	install -m 644 -o root -g root openfirmware/*.o $(INSTALL_MKVMLINUZ)/obj/openfirmware