diff --git a/srcpkgs/linux3.10-rpi/INSTALL b/srcpkgs/linux3.10-rpi/INSTALL
index 918c21b4d8..404c3b0e6f 100644
--- a/srcpkgs/linux3.10-rpi/INSTALL
+++ b/srcpkgs/linux3.10-rpi/INSTALL
@@ -5,7 +5,7 @@ post)
 
 To enable this kernel add the following line to /boot/config.txt:
 
-	kernel=kernel-${VERSION}
+	kernel=kernel-${VERSION}.img
 
 Or copy /boot/kernel-${VERSION}.img to /boot/kernel.img (do not forget to
 keep a backup of current file!).