Index: kernel/arch/arm32/include/arch/cp15.h
===================================================================
--- kernel/arch/arm32/include/arch/cp15.h	(revision f834cc326d52cc89a38cae6dd39b7fd14a419bb3)
+++ kernel/arch/arm32/include/arch/cp15.h	(revision 8ca6f083cb43f60ec03821558bb3bc0c93603d87)
@@ -424,5 +424,5 @@
 CONTROL_REG_GEN_WRITE(DCCMVAU, c7, 0, c11, 1);
 
-CONTROL_REG_GEN_WRITE(PFI, c7, 0, c11, 1); /* armv6 only */
+CONTROL_REG_GEN_WRITE(PFI, c7, 0, c13, 1); /* armv6 only */
 
 CONTROL_REG_GEN_WRITE(DCCIMVAC, c7, 0, c14, 1);